{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:07Z","timestamp":1755220987333,"version":"3.43.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"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,11]]},"DOI":"10.1023\/a:1005298819843","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"343-352","source":"Crossref","is-referenced-by-count":3,"title":["Basic Logic, K4, and Persistence"],"prefix":"10.1007","volume":"63","author":[{"given":"Wim","family":"Ruitenburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"245097_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M. Ardeshir","year":"1998","unstructured":"Ardeshir, M., W. Ruitenburg, \u2018Basic Propositional Calculus I\u2019, Mathematical Logic Quarterly 44,no. 3 (1998), 317\u2013343.","journal-title":"Mathematical Logic Quarterly"},{"key":"245097_CR2","unstructured":"Barendregt, H., M. Bezem, J. W. Klop (editors), Dirk van Dalen Festschrift, Quaestiones Infinitae vol. 5, Department of Philosophy, Utrecht University, 1993."},{"key":"245097_CR3","unstructured":"Chang, C. C., H. J. Keisler, Model Theory, third edition, Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland, Elsevier Science, 1990."},{"key":"245097_CR4","series-title":"CSLI Lecture Notes","volume-title":"Modal Logic and Process Algebra, a Bisimulation Perspective","year":"1995","unstructured":"Ponse, A., M. de Rijke, Y. Venema (editors), Modal Logic and Process Algebra, a Bisimulation Perspective, CSLI Lecture Notes 53, Center for the Study of Language and Information, Stanford, 1995."},{"issue":"4","key":"245097_CR5","first-page":"271","volume":"1","author":"W. Ruitenburg","year":"1991","unstructured":"Ruitenburg, W., \u2018Constructive logic and the paradoxes\u2019, Modern Logic 1,no. 4 (1991), 271\u2013301.","journal-title":"Modern Logic"},{"key":"245097_CR6","unstructured":"Ruitenburg, W., \u2018Basic logic and Fregean set theory\u2019, in [2], 121\u2013142."},{"issue":"3","key":"245097_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1008237600846","volume":"7","author":"Y. Suzuki","year":"1998","unstructured":"Suzuki, Y., F. Wolter, M. Zakharyaschev, \u2018Speaking about transitive frames in propositional languages\u2019, Journal of Logic, Language and Information 7,no. 3 (1998), 317\u2013339.","journal-title":"Journal of Logic, Language and Information"},{"key":"245097_CR8","unstructured":"van Benthem, J. F. A. K., Modal Correspondence Theory (dissertation), Mathematical Institute, University of Amsterdam, 1976."},{"key":"245097_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A. Visser","year":"1981","unstructured":"Visser, A., \u2018A propositional logic with explicit fixed points\u2019, Studia Logica 40 (1981), 155\u2013175.","journal-title":"Studia Logica"},{"key":"245097_CR10","series-title":"CSLI Lecture Notes","first-page":"289","volume-title":"NNIL, a study in intuitionistic propositional logic","author":"A. Visser","year":"1995","unstructured":"Visser, A., J. van Benthem, D. de Jongh, G. R. Renardel de Lavalette, \u2018NNIL, a study in intuitionistic propositional logic\u2019, in [4], 289\u2013326."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005298819843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005298819843\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005298819843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:32:22Z","timestamp":1754631142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005298819843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["245097"],"URL":"https:\/\/doi.org\/10.1023\/a:1005298819843","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}