{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T19:00:30Z","timestamp":1761937230395,"version":"build-2065373602"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1007\/bf01794981","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T19:36:58Z","timestamp":1119296218000},"page":"243-257","source":"Crossref","is-referenced-by-count":12,"title":["Even more about the lattice of tense logics"],"prefix":"10.1007","volume":"31","author":[{"given":"Marcus","family":"Kracht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01794981_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01620760","volume":"27","author":"F. Bellissima","year":"1988","unstructured":"Bellissima, F.: On the lattice of extensions of the modal logicsK.Alt n . Arch. Math. Logic27, 107\u2013114 (1988)","journal-title":"Arch. Math. Logic"},{"key":"BF01794981_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of philosophical logic, vol. 2","author":"J.P. Burgess","year":"1984","unstructured":"Burgess, J.P.: Basic tense logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of philosophical logic, vol. 2, pp. 89\u2013133. Reidel: Dordrecht 1984"},{"key":"BF01794981_CR3","first-page":"167","volume":"7","author":"W.J. Blok","year":"1978","unstructured":"Blok, W.J.: On the degree of incompleteness of modal logics. Bull. Sect. Logic Pol. Acad. Sci.7, 167\u2013175 (1978)","journal-title":"Bull. Sect. Logic Pol. Acad. Sci."},{"key":"BF01794981_CR4","unstructured":"Blok, W.J.: On the degree of incompleteness in modal logic and the covering relation in the lattice of modal logics. Report 78-07. Dep. Math. Amsterdam University 1978"},{"key":"BF01794981_CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W.J. Blok","year":"1982","unstructured":"Blok, W.J., Pigozzi, D.: Varieties with equationally definable principal congruences. Algebra Univers.15, 195\u2013227 (1982)","journal-title":"Algebra Univers"},{"key":"BF01794981_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R.I. Goldblatt","year":"1989","unstructured":"Goldblatt, R.I.: Varieties of complex algebras. Ann. Pure Appl. Logic.44, 173\u2013241 (1989)","journal-title":"Ann. Pure Appl. Logic."},{"key":"BF01794981_CR7","volume-title":"Orthomodular lattices","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular lattices. London: Academic Press 1983"},{"key":"BF01794981_CR8","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/BF00370158","volume":"49","author":"M. Kracht","year":"1990","unstructured":"Kracht, M.: An almost general splitting theorem for modal logic. Stud. Logica49, 455\u2013470 (1990)","journal-title":"Stud. Logica"},{"key":"BF01794981_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1972-0313141-1","volume":"174","author":"R. McKenzie","year":"1972","unstructured":"McKenzie, R.: Equational bases and nonmodular lattice varieties. Trans. Am. Math. Soc.174, 1\u201343 (1972)","journal-title":"Trans. Am. Math. Soc."},{"key":"BF01794981_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01178758","volume":"156","author":"W. Rautenberg","year":"1977","unstructured":"Rautenberg, W.: Der Verband der normalen verzweigten Modallogiken. Math. Z.156, 123\u2013140 (1977)","journal-title":"Math. Z."},{"key":"BF01794981_CR11","first-page":"21","volume":"8","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg, W.: More about the lattice of tense logics. Bull. Sect. Logic Pol. Academy of Sciences8, 21\u201329 (1979)","journal-title":"Bull. Sect. Logic Pol. Academy of Sciences"},{"key":"BF01794981_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85796-5","volume-title":"Klassische und nichtklassische Aussagenlogik","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg, W.: Klassische und nichtklassische Aussagenlogik. Wiesbaden: Vieweg Verlag 1979"},{"key":"BF01794981_CR13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02021134","volume":"20","author":"W. Rautenberg","year":"1980","unstructured":"Rautenberg, W.: Splitting lattices of logics. Archiv Math. Logic20, 155\u2013159 (1980)","journal-title":"Archiv Math. Logic"},{"key":"BF01794981_CR14","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"S.K. Thomason","year":"1972","unstructured":"Thomason, S.K.: Semantic analysis of tense logics. J. Symb. Logic37, 150\u2013158 (1972)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01794981.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01794981\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01794981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T15:08:22Z","timestamp":1557414502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01794981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["BF01794981"],"URL":"https:\/\/doi.org\/10.1007\/bf01794981","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[1992,7]]}}}