{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T14:11:07Z","timestamp":1713535867494},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,2,12]],"date-time":"2012-02-12T00:00:00Z","timestamp":1329004800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"},{"start":{"date-parts":[[2012,2,12]],"date-time":"2012-02-12T00:00:00Z","timestamp":1329004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Hamkins and L\u00f6we proved that the modal logic of forcing is<jats:bold>S4.2<\/jats:bold>. In this paper, we consider its modal companion, the intermediate logic<jats:bold>KC<\/jats:bold>and relate it to the fatal Heyting algebra<jats:bold>H<\/jats:bold><jats:sub \/>of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras.<\/jats:p>","DOI":"10.1007\/s11225-012-9393-z","type":"journal-article","created":{"date-parts":[[2012,2,11]],"date-time":"2012-02-11T03:29:28Z","timestamp":1328930968000},"page":"163-173","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Fatal Heyting Algebras and Forcing Persistent Sentences"],"prefix":"10.1007","volume":"100","author":[{"given":"Leo","family":"Esakia","sequence":"first","affiliation":[]},{"given":"Benedikt","family":"L\u00f6we","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,12]]},"reference":[{"key":"9393_CR1","volume-title":"Algebraic theories. A categorical introduction to general algebra, vol. 184 of Cambridge Tracts in Mathematics","author":"J. Ad\u00e1mek","year":"2011","unstructured":"Ad\u00e1mek J., Rosick\u00fd J., Vitale E. M.: Algebraic theories. A categorical introduction to general algebra, vol. 184 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2011)"},{"issue":"3","key":"9393_CR2","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.apal.2009.07.002","volume":"161","author":"G. Bezhanishvili","year":"2009","unstructured":"Bezhanishvili G.: \u2018The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem\u2019. Annals of Pure and Applied Logic 161(3), 253\u2013267 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9393_CR3","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9393_CR4","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1002\/malq.19590051405","volume":"3","author":"M. Dummett","year":"1959","unstructured":"Dummett M., Lemmon E.: \u2018Modal logics between S4 and S5\u2019. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 3, 250\u2013264 (1959)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9393_CR5","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del K.: \u2018\u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes\u2019. Dialectica 12, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"9393_CR6","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1090\/S0002-9947-07-04297-3","volume":"360","author":"J. D. Hamkins","year":"2008","unstructured":"Hamkins J. D., L\u00f6we B.: \u2018The modal logic of forcing\u2019. Transactions of the American Mathematical Society 360, 1793\u20131817 (2008)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9393_CR7","volume-title":"Stone spaces, vol. 3 of Cambridge Studies in Advanced Mathematics","author":"P. T. Johnstone","year":"1982","unstructured":"Johnstone P. T.: Stone spaces, vol. 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1982)"},{"issue":"1","key":"9393_CR8","first-page":"79","volume":"18","author":"E.W. Kiss","year":"1982","unstructured":"Kiss E.W., M\u00e1rki L., Pr\u0151hle P., Tholen W.: \u2018Categorical algebraic properties.A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity\u2019. Studia Scientiarum Mathematicarum Hungarica 18(1), 79\u2013140 (1982)","journal-title":"Studia Scientiarum Mathematicarum Hungarica"},{"key":"9393_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1093\/jigpal\/jzi025","volume":"13","author":"B. L\u00f6we","year":"2005","unstructured":"L\u00f6we B., Sarenac D.: \u2018Cardinal spaces and topological representations of bimodal logics\u2019. Logic Journal of the IGPL 13, 301\u2013306 (2005)","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"9393_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/BF01670006","volume":"16","author":"L. L. Maksimova","year":"1977","unstructured":"Maksimova L. L.: \u2018Craig\u2019s theorem in superintuitionistic logics and amalgamable varieties\u2019. Algebra and Logic 16(6), 427\u2013455 (1977)","journal-title":"Algebra and Logic"},{"key":"9393_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. McKinsey","year":"1948","unstructured":"McKinsey J. Ch. Ch., Tarski A.: \u2018Some theorems about the sentential calculi of Lewis and Heyting\u2019. Journal of Symbolic Logic13, 1\u201315 (1948)","journal-title":"Journal of Symbolic Logic"},{"key":"9393_CR12","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, vol. 41 of Monografie Matematyczne, Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"9393_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.2307\/1969039","volume":"47","author":"A. Tarski","year":"1946","unstructured":"Tarski A.: \u2018A remark on functionally free algebras\u2019. Annals of Mathematics 47, 163\u2013165 (1946)","journal-title":"Annals of Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9393-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-012-9393-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11225-012-9393-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9393-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T13:33:14Z","timestamp":1713533594000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-012-9393-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,12]]},"references-count":13,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9393"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9393-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,12]]},"assertion":[{"value":"12 February 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}