{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:51Z","timestamp":1755220911963,"version":"3.43.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"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,5]]},"DOI":"10.1023\/a:1005100510979","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:06:43Z","timestamp":1040486803000},"page":"371-398","source":"Crossref","is-referenced-by-count":0,"title":["Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4"],"prefix":"10.1007","volume":"62","author":[{"given":"Fabio","family":"Bellissima","sequence":"first","affiliation":[]},{"given":"Saverio","family":"Cittadini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"231229_CR1","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1002\/malq.19840301904","volume":"30","author":"F. Bellissima","year":"1984","unstructured":"Bellissima, F., \u2018Atoms in modal algebras\u2019,Zeitschr. f. math. Logik und Grundlagen d. Math. 30 (1984): 303\u2013312.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"231229_CR2","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0168-0072(90)90066-B","volume":"47","author":"F. Bellissima","year":"1990","unstructured":"Bellissima, F., \u2018Post complete and 0-axiomatizable model logics\u2019,Annals of Pure and Applied Logic 47 (1990): 121\u2013144.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"231229_CR3","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1002\/malq.19970430112","volume":"43","author":"F. Bellissima","year":"1997","unstructured":"Bellissima, F., andS. Cittadini, \u2018Minimal axiomatization in modal logic\u2019,Mathematical Logic Quarterly 43 (1997), 1: 92\u2013102.","journal-title":"Mathematical Logic Quarterly"},{"key":"231229_CR4","unstructured":"Blok, W. J.,Varieties of interior algebras, PhD thesis, University of Amsterdam, 1976."},{"key":"231229_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","volume":"45","author":"W. J. Blok","year":"1980","unstructured":"Blok, W. J., \u2018The lattice of modal logics: an algebraic investigation\u2019,The Journal of Symbolic Logic 45 (1980): 221\u2013236.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2\/3","key":"231229_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF00370315","volume":"39","author":"W. J. Blok","year":"1980","unstructured":"Blok, W. J., \u2018Pretabular varieties of modal algebras\u2019,Studia Logica 39 (1980), 2\/3: 101\u2013124.","journal-title":"Studia Logica"},{"key":"231229_CR7","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"R. A. Bull","year":"1985","unstructured":"Bull, R. A., andK. Segerberg, \u2018Basic modal logic\u2019, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, vol. II, p. 1\u201388, D. Reidel Publishing Company, Dordrecht, 1985."},{"key":"231229_CR8","unstructured":"Cittadini, S.,Minime assiomatizzazioni in logica modale e temporale. PhD thesis, University of Siena, 1995."},{"key":"231229_CR9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","volume":"40","author":"K. Fine","year":"1974","unstructured":"Fine, K., \u2018An ascending chain of S4 logics\u2019,Theoria 40 (1974): 110\u2013116.","journal-title":"Theoria"},{"issue":"3","key":"231229_CR10","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","volume":"50","author":"K. Fine","year":"1985","unstructured":"Fine, K., \u2018Logics containing K4. Part II\u2019,The Journal of Symbolic Logic 50 (1985), 3: 619\u2013651.","journal-title":"The Journal of Symbolic Logic"},{"key":"231229_CR11","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/BF00370158","volume":"49","author":"M. Kracht","year":"1990","unstructured":"Kracht, M., \u2018An almost general splitting theorem for modal logic\u2019,Studia Logica 49 (1990): 455\u2013470.","journal-title":"Studia Logica"},{"issue":"1","key":"231229_CR12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2275330","volume":"58","author":"M. Kracht","year":"1993","unstructured":"Kracht, M., \u2018Splittings and the finite model property\u2019,The Journal of Symbolic Logic 58 (1993), 1: 139\u2013157.","journal-title":"The Journal of Symbolic Logic"},{"key":"231229_CR13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02021134","volume":"20","author":"W. Rautenberg","year":"1980","unstructured":"Rautenberg, W., \u2018Splitting lattices of logics\u2019,Archive for Mathematical Logic 20 (1980): 155\u2013159.","journal-title":"Archive for Mathematical Logic"},{"key":"231229_CR14","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."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005100510979.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005100510979\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005100510979.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:24:16Z","timestamp":1754630656000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005100510979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["231229"],"URL":"https:\/\/doi.org\/10.1023\/a:1005100510979","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}