{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:58Z","timestamp":1755220978270,"version":"3.43.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1026456817552","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"121-140","source":"Crossref","is-referenced-by-count":0,"title":["Finite Trees in Tense Logic"],"prefix":"10.1007","volume":"62","author":[{"given":"Fabio","family":"Bellissima","sequence":"first","affiliation":[]},{"given":"Saverio","family":"Cittadini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"205530_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0001-8708(77)80043-1","volume":"24","author":"K. A. Baker","year":"1977","unstructured":"Baker, K. A., \u2018Finite equational bases for finite algebras in a congruence-distributive equational class\u2019, Advances in Mathematics 24: 207\u2013243, 1977.","journal-title":"Advances in Mathematics"},{"issue":"1","key":"205530_CR2","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BF01190412","volume":"28","author":"F. Bellissima","year":"1991","unstructured":"Bellissima, F., \u2018Atoms of tense algebras\u2019, Algebra Universalis 28(1): 52\u201378, 1991.","journal-title":"Algebra Universalis"},{"issue":"4","key":"205530_CR3","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1305\/ndjfl\/1040136918","volume":"36","author":"F. Bellissima","year":"1995","unstructured":"Bellissima, F., and A. Bucalo, \u2018A distinguishable model theorem for the minimal US-tense logic\u2019, Notre Dame Journal of Formal Logic 36(4): 585\u2013594, 1995.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"205530_CR4","doi-asserted-by":"crossref","unstructured":"Bellissima, F., and S. Cittadini, \u2018Duality and completeness for US-logics\u2019, Rapp. Mat. 319, Universit\u00e0 di Siena, Dipartimento di Matematica, 1997, submitted.","DOI":"10.1305\/ndjfl\/1039293065"},{"issue":"1","key":"205530_CR5","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1002\/malq.19970430112","volume":"43","author":"F. Bellissima","year":"1997","unstructured":"Bellissima, F., and S. Cittadini, \u2018Minimal axiomatization in modal logic\u2019, Mathematical Logic Quarterly 43(1):92\u2013102, 1997.","journal-title":"Mathematical Logic Quarterly"},{"key":"205530_CR6","unstructured":"Bellissima, F., and S. Cittadini, \u2018Minimal p-morphic images, axiomatizations and coverings in the modal logic K4\u2019, 1997, to appear in Studia Logica."},{"key":"205530_CR7","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"J. F. A. K. van Benthem","year":"1990","unstructured":"van Benthem, J. F. A. K., \u2018Temporal logic\u2019, in D. Gabbay, C. Hogger, and J. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. III, Oxford University Press, Oxford, 1990."},{"key":"205530_CR8","unstructured":"Kamp, J. A. W., Tense Logic and the Theory of Linear Order, PhD thesis, University of California at Los Angeles, 1968."},{"issue":"4","key":"205530_CR9","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01794981","volume":"31","author":"M. Kracht","year":"1992","unstructured":"Kracht, M., \u2018Even more about the lattice of tense logics\u2019, Archive for Mathematical Logic 31(4):243\u2013257, 1992.","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"205530_CR10","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M., and F. Wolter, \u2018Properties of independently axiomatizable bimodal logics\u2019, The Journal of Symbolic Logic 56(4):1469\u20131485, 1991.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"205530_CR11","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0304-3975(95)00035-U","volume":"148","author":"F. Laroussinie","year":"1995","unstructured":"Laroussinie, F., and Ph. Schnoebelen, \u2018A hierarchy of temporal logics with past\u2019. Theorelical Computer Science 148(2):303\u2013324, 1995.","journal-title":"Theorelical Computer Science"},{"key":"205530_CR12","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","volume":"12","author":"D. C. Makinson","year":"1971","unstructured":"Makinson, D. C., \u2018Some embedding theorems for modal logics\u2019, Notre Dame Journal of Formal Logic 12:252\u2013254, 1971.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"205530_CR13","first-page":"21","volume":"8","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg, W., \u2018More about the lattice of tense logics\u2019, Bull. Sect. of Logic 8:21\u201329, 1979.","journal-title":"Bull. Sect. of Logic"},{"key":"205530_CR14","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"36","author":"K. Segerberg","year":"1970","unstructured":"Segerberg, K., \u2018Modal logics with linear alternative relation\u2019, Theoria 36:301\u2013322, 1970.","journal-title":"Theoria"},{"key":"205530_CR15","volume-title":"An Essay in Classical Modal Logic","author":"K. Segerberg","year":"1971","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala, 1971."},{"key":"205530_CR16","unstructured":"Wolter, F., Lattices of Modal Logics. PhD thesis, FU Berlin, 1993."},{"issue":"2","key":"205530_CR17","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/malq.19960420113","volume":"42","author":"F. Wolter","year":"1996","unstructured":"Wolter, F., \u2018Tense logic without tense operators\u2019, Mathematical Logic Quarterly 42(2):145\u2013171, 1996.","journal-title":"Mathematical Logic Quarterly"},{"issue":"1","key":"205530_CR18","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0168-0072(96)00049-8","volume":"86","author":"F. Wolter","year":"1997","unstructured":"Wolter, F., \u2018The structure of lattices of subframe logics\u2019, Annals of Pure and Applied Logic 86(1):47\u2013100, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"205530_CR19","first-page":"181","volume":"17","author":"M. Xu","year":"1988","unstructured":"Xu, M., \u2018On some U,S-tense logics\u2019 Journal of Philosophical Logic 17:181\u2013202, 1988.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026456817552.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026456817552\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026456817552.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:29:47Z","timestamp":1754630987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026456817552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["205530"],"URL":"https:\/\/doi.org\/10.1023\/a:1026456817552","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}