{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:04Z","timestamp":1783111504569,"version":"3.54.6"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T00:00:00Z","timestamp":1183075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2007,10,17]]},"DOI":"10.1007\/s10992-007-9052-4","type":"journal-article","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T08:38:16Z","timestamp":1183019896000},"page":"605-640","source":"Crossref","is-referenced-by-count":27,"title":["FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS"],"prefix":"10.1007","volume":"36","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,6,29]]},"reference":[{"key":"9052_CR1","volume-title":"Vicious Circles: On the Mathematics of Non-wellfounded Phenomena, CSLI Lecture Notes Number 60","author":"J. Barwise","year":"1996","unstructured":"Barwise, J. and Moss, L. S.: Vicious Circles: On the Mathematics of Non-wellfounded Phenomena, CSLI Lecture Notes Number 60, CSLI Publications, Stanford University, 1996."},{"key":"9052_CR2","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1004268613379","volume":"27","author":"J. Barwise","year":"1998","unstructured":"Barwise, J. and Moss, L. S.: Modal correspondence for models, The Journal of Philosophical Logic 27 (1998), 275\u2013294.","journal-title":"The Journal of Philosophical Logic"},{"key":"9052_CR3","volume-title":"Modal Logic. Cambridge Tracts in Theoretical Computer Science, 53","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, 53. Cambridge University Press, Cambridge, 2001."},{"key":"9052_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","volume":"16","author":"K. Fine","year":"1975","unstructured":"Fine, K.: Normal forms in modal logic, Notre Dame Journal of Formal Logic 16 (1975), 229\u2013237.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"9052_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0168-0072(93)E0084-2","volume":"71","author":"S. Ghilardi","year":"1995","unstructured":"Ghilardi, S.: An algebraic theory of normal forms, Annals of Pure and Applied Logic 71(3) (1995), 189\u2013245.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9052_CR6","unstructured":"de Jongh, D.: Investigation on the Intuitionistic Propositional Calculus, PhD Thesis, University of Wisconsin, Madison, 1968."},{"key":"9052_CR7","doi-asserted-by":"crossref","unstructured":"Kozen, D. and Parikh, R.: An elementary proof of the completeness of PDL, Theoretical Computer Science (1981), 113\u2013118.","DOI":"10.1016\/0304-3975(81)90019-0"},{"key":"9052_CR8","unstructured":"Lemmon, E. J. and Scott, D.: An introduction to modal logics, in Krister Segerberg (ed.), American Philosophical Quarterly, Monograph Series, No. 11, Basil Blackwell, Oxford."},{"key":"9052_CR9","unstructured":"Makinson, D.: Review of Fine [4], Mathematical Reviews MR0366622, vol. 51 #2869."},{"key":"9052_CR10","unstructured":"Moss, L. S.: Coalgebraic logic, Annals of Pure and Applied Logic 96(1\u20133) (1999), 277\u2013317 (publishers\u2019 corrections in 99(1\u20133) (1999), 241\u2013259)."},{"key":"9052_CR11","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1111\/j.1755-2567.1968.tb00335.x","volume":"34","author":"K. Segerberg","year":"1968","unstructured":"Segerberg, K.: Decidability of S4.1. Theoria 34 (1968), 7\u201320.","journal-title":"Theoria"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9052-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-007-9052-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9052-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:48Z","timestamp":1559338188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-007-9052-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,29]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,10,17]]}},"alternative-id":["9052"],"URL":"https:\/\/doi.org\/10.1007\/s10992-007-9052-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,29]]}}}