{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:06:32Z","timestamp":1766084792911,"version":"3.48.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:00:00Z","timestamp":1762560000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:00:00Z","timestamp":1762560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005774","name":"Universitat de Barcelona","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005774","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement is necessarily true if it holds in all possible worlds. Standard Kripkean semantics assumes that all possible worlds are governed by one single logic. We relax this assumption and introduce mixed models, in which different worlds may obey different logical systems. The paper provides a first case study where we mix classical propositional logic (\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathsf{{CPC}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>CPC<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    ) and intuitionistic propositional logic (\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathsf{{IPC}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>IPC<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    ) in the possible world semantics. We define the class of mixed models\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathcal {M}\\mathcal {M}(\\mathsf{{CPC}}, \\mathsf{{IPC}})$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mi>CPC<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:mi>IPC<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , together with a subclass of concrete mixed models (\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$${\\mathcal {CMM}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>CMM<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    ), and establish their semantic properties. Our main result shows that the set of formulas valid in\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathcal {M}\\mathcal {M}(\\mathsf{{CPC}}, \\mathsf{{IPC}})$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mi>CPC<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:mi>IPC<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    corresponds exactly to the intuitionistic modal logic\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathsf{{iK}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>iK<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    extended with the Box Excluded Middle axiom (\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathsf{{iK}+\\mathsf{{bem}}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>iK<\/mml:mi>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>bem<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    ). To demonstrate this, we prove soundness and completeness results linking\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathcal {M}\\mathcal {M}(\\mathsf{{CPC}}, \\mathsf{{IPC}})$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mi>M<\/mml:mi>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mi>CPC<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:mi>IPC<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    and\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$${\\mathcal {CMM}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>CMM<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , and birelational models for\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathsf{{iK}+\\mathsf{{bem}}} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>iK<\/mml:mi>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>bem<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    .\n                  <\/jats:p>","DOI":"10.1007\/s11787-025-00400-7","type":"journal-article","created":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:51:11Z","timestamp":1762624271000},"page":"721-737","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Contingency of Logic in Possible World Semantics"],"prefix":"10.1007","volume":"19","author":[{"given":"Iris","family":"van\u00a0der\u00a0Giessen","sequence":"first","affiliation":[]},{"given":"Joost J.","family":"Joosten","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Mayaux","sequence":"additional","affiliation":[]},{"given":"Vicent","family":"Navarro\u00a0Arroyo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,8]]},"reference":[{"key":"400_CR1","doi-asserted-by":"crossref","unstructured":"D.\u00a0Binder, T.\u00a0Piecha, and P.\u00a0Schroeder-Heister. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948), pages 181\u2013192. Springer International Publishing, Cham, 2022","DOI":"10.1007\/978-3-030-94926-6_6"},{"key":"400_CR2","volume-title":"The Logic of Provability","author":"GS Boolos","year":"1993","unstructured":"Boolos, G.S.: The Logic of Provability. Cambridge University Press, Cambridge and New York (1993)"},{"issue":"3","key":"400_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF02429840","volume":"43","author":"M Bo\u017ei\u0107","year":"1984","unstructured":"Bo\u017ei\u0107, M., Do\u0161en, K.: Models for normal intuitionistic modal logics. Stud. Logica. 43(3), 217\u2013245 (1984)","journal-title":"Stud. Logica."},{"key":"400_CR4","doi-asserted-by":"crossref","unstructured":"L.\u00a0F. del Cerro and A.\u00a0Herzig. Combining Classical and Intuitionistic Logic, pages 93\u2013102. Springer Netherlands, Dordrecht, 1996","DOI":"10.1007\/978-94-009-0349-4_4"},{"issue":"1","key":"400_CR5","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","author":"R Diaconescu","year":"2007","unstructured":"Diaconescu, R., Stefaneas, P.: Ultraproducts and possible worlds semantics in institutions. Theoret. Comput. Sci. 379(1), 210\u2013230 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"400_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G Fischer-Servi","year":"1977","unstructured":"Fischer-Servi, G.: On modal logic with an intuitionistic base. Stud. Logica. 36, 141\u2013149 (1977)","journal-title":"Stud. Logica."},{"key":"400_CR7","doi-asserted-by":"crossref","unstructured":"A.\u00a0R. Freire and M.\u00a0A. Martins. Modality across different logics. Logic Journal of the IGPL, 33(3):jzae082, 08 2024","DOI":"10.1093\/jigpal\/jzae082"},{"key":"400_CR8","unstructured":"D.\u00a0Gabbay, A.\u00a0Kurucz, F.\u00a0Wolter, and M.\u00a0Zakharyaschev. Many-dimensional Modal Logics: Theory and Applications. Stideis in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 2003"},{"key":"400_CR9","doi-asserted-by":"crossref","unstructured":"D.\u00a0M. Gabbay. Fibred semantics and the weaving of logics. part 1: Modal and intuitionistic logics. Journal of Symbolic Logic, 61(4):1057\u20131120, 1996","DOI":"10.2307\/2275807"},{"key":"400_CR10","doi-asserted-by":"crossref","unstructured":"D.\u00a0M. Gabbay. Fibring Logics. Oxford University Press, 11 1998","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"400_CR11","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca, N.Y. (1962)"},{"issue":"1","key":"400_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke, S.: A completeness theorem in modal logic. J. Symb. Log. 24(1), 1\u201314 (1959)","journal-title":"J. Symb. Log."},{"key":"400_CR13","doi-asserted-by":"crossref","unstructured":"S.\u00a0Kripke. Semantical analysis of modal logic i. normal propositional calculi. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 9(5-6):67\u201396, 1963","DOI":"10.1002\/malq.19630090502"},{"key":"400_CR14","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"400_CR15","doi-asserted-by":"crossref","unstructured":"A.\u00a0Madeira, M.\u00a0A. Martins, and M.\u00a0R. Benevides. Epistemic logics with structured knowledge. Electronic Notes in Theoretical Computer Science, 344:137\u2013149, 2019. The proceedings of LSFA 2018, the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA\u201918)","DOI":"10.1016\/j.entcs.2019.07.009"},{"key":"400_CR16","doi-asserted-by":"crossref","unstructured":"S.\u00a0Marin, L.\u00a0C. Pereira, E.\u00a0Pimentel, and E.\u00a0Sales. Ecumenical modal logic. https:\/\/arxiv.org\/abs\/2005.14325, 2020","DOI":"10.1007\/978-3-030-65840-3_12"},{"key":"400_CR17","doi-asserted-by":"crossref","unstructured":"M.\u00a0A. Martins, A.\u00a0Madeira, R.\u00a0Diaconescu, and L.\u00a0S. Barbosa. Hybridization of institutions. In A.\u00a0Corradini, B.\u00a0Klin, and C.\u00a0C\u00eerstea, editors, Algebra and Coalgebra in Computer Science, pages 283\u2013297, Berlin, Heidelberg, 2011. Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"400_CR18","unstructured":"M.\u00a0Mojtahedi. On Provability Logic of HA. https:\/\/arxiv.org\/abs\/2206.00445, 2022"},{"key":"400_CR19","unstructured":"M.\u00a0Mojtahedi and B.\u00a0S. Miranda. Provability models. https:\/\/arxiv.org\/abs\/2510.06696, 2025"},{"key":"400_CR20","unstructured":"D.\u00a0R\u00f6nnedal. An Introduction to Deontic Logic. CreateSpace Independent Publishing Platform, 2010"},{"key":"400_CR21","unstructured":"A.\u00a0K. Simpson. The proof theory and semantics of intuitionistic modal logic. PhD thesis, University of Edinburgh, 1994"},{"key":"400_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08402-1","volume-title":"Logic and Structure","author":"D van Dalen","year":"1980","unstructured":"van Dalen, D.: Logic and Structure. Springer Verlag, New York (1980)"},{"key":"400_CR23","doi-asserted-by":"crossref","unstructured":"Williamson, T.: Equivocation and existence. Proc. Aristot. Soc. 88, 109\u2013127 (1988)","DOI":"10.1093\/aristotelian\/88.1.109"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00400-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00400-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00400-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:57:07Z","timestamp":1766066227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00400-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,8]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["400"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00400-7","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,11,8]]},"assertion":[{"value":"15 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}