{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:37Z","timestamp":1783111537486,"version":"3.54.6"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,3,25]],"date-time":"2021-03-25T00:00:00Z","timestamp":1616630400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,3,25]],"date-time":"2021-03-25T00:00:00Z","timestamp":1616630400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012456","name":"Chinese National Funding of Social Sciences","doi-asserted-by":"publisher","award":["18ZDA033"],"award-info":[{"award-number":["18ZDA033"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11225-021-09942-5","type":"journal-article","created":{"date-parts":[[2021,3,25]],"date-time":"2021-03-25T05:07:17Z","timestamp":1616648837000},"page":"1093-1118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Lattices of Finitely Alternative Normal Tense Logics"],"prefix":"10.1007","volume":"109","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qian","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,3,25]]},"reference":[{"key":"9942_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn,\u00a0P., M.\u00a0de\u00a0Rijke, and Y.\u00a0Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9942_CR2","doi-asserted-by":"publisher","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 logics $$\\rm KAlt_n$$, Archive for Mathematical Logic 27: 107\u2013114, 1988.","journal-title":"Archive for Mathematical Logic"},{"key":"9942_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7947-6","volume-title":"The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","author":"J van Benthem","year":"1991","unstructured":"van Benthem, J., The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Springer Netherlands, 1991."},{"key":"9942_CR4","doi-asserted-by":"crossref","unstructured":"Burgess,\u00a0J. P., Basic tense logic, in: D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol. II, D. Reidel Publishing Company, 1984, pp. 89\u2013133.","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"9942_CR5","volume-title":"Modal Logic","author":"A Chagrov","year":"2001","unstructured":"Chagrov,\u00a0A., and M.\u00a0Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 2001."},{"key":"9942_CR6","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/BF02771736","volume":"10","author":"DM Gabbay","year":"1971","unstructured":"Gabbay, D. M., On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I, Israel Journal of Mathematics 10: 478\u2013495, 1971.","journal-title":"Israel Journal of Mathematics"},{"key":"9942_CR7","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01794981","volume":"31","author":"M Kracht","year":"1992","unstructured":"Kracht, M., Even more about the lattice of tense logics, Archive for Mathematical Logic 31: 243\u2013257, 1992.","journal-title":"Archive for Mathematical Logic"},{"key":"9942_CR8","volume-title":"Tools and Techniques in Modal Logic","author":"M Kracht","year":"1999","unstructured":"Kracht, M., Tools and Techniques in Modal Logic, Elsevier, Amsterdam, 1999."},{"key":"9942_CR9","volume-title":"Time and Modality","author":"AN Prior","year":"1957","unstructured":"Prior, A. N., Time and Modality, Oxford University Press, Oxford, 1957."},{"key":"9942_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"AN Prior","year":"1967","unstructured":"Prior, A. N., Past, Present and Future, Oxford University Press, Oxford, 1967."},{"key":"9942_CR11","volume-title":"Papers on Time and Tense","author":"AN Prior","year":"1968","unstructured":"Prior, A. N., Papers on Time and Tense, Oxford University Press, Oxford, 1968."},{"key":"9942_CR12","first-page":"21","volume":"8","author":"W Rautenberg","year":"1979","unstructured":"Rautenberg, W., More about the lattice of tense logic, Bulletin of the Section of Logic 8: 21\u201325, 1979.","journal-title":"Bulletin of the Section of Logic"},{"key":"9942_CR13","unstructured":"Segerberg,\u00a0K., An Essay in Classical Modal Logic, Uppsala Universitet, 1971."},{"key":"9942_CR14","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"SK Thomason","year":"1972","unstructured":"Thomason,\u00a0S.\u00a0K., Semantic analysis of tense logics, Journal of Symbolic Logic 37: 150\u2013158, 1972.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9942_CR15","doi-asserted-by":"publisher","first-page":"757","DOI":"10.2307\/2275755","volume":"60","author":"F Wolter","year":"1995","unstructured":"Wolter, F., The finite model property in tense logic, The Journal of Symbolic Logic 60 (3): 757\u2013774, 1995.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09942-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09942-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09942-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T16:10:04Z","timestamp":1632240604000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09942-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,25]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9942"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09942-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3,25]]},"assertion":[{"value":"1 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}