{"id":"https://openalex.org/W4416042405","doi":"https://doi.org/10.1007/s11787-025-00400-7","title":"On the Contingency of Logic in Possible World Semantics","display_name":"On the Contingency of Logic in Possible World Semantics","publication_year":2025,"publication_date":"2025-11-08","ids":{"openalex":"https://openalex.org/W4416042405","doi":"https://doi.org/10.1007/s11787-025-00400-7"},"language":"en","primary_location":{"id":"doi:10.1007/s11787-025-00400-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-025-00400-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-025-00400-7.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11787-025-00400-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044524018","display_name":"Iris van der Giessen","orcid":"https://orcid.org/0009-0008-4908-2496"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Iris van\u00a0der\u00a0Giessen","raw_affiliation_strings":["Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Science Park 107, Postbus 94242, 1090, GE, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Science Park 107, Postbus 94242, 1090, GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086500294","display_name":"Joost J. Joosten","orcid":"https://orcid.org/0000-0001-9590-5045"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Joost J. Joosten","raw_affiliation_strings":["Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120281570","display_name":"Paul Mayaux","orcid":null},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Paul Mayaux","raw_affiliation_strings":["Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119143078","display_name":"Vicent Navarro Arroyo","orcid":null},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Vicent Navarro\u00a0Arroyo","raw_affiliation_strings":["Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Filosofia, Universitat de Barcelona, Montalegre, 6, 08001, Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044524018"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":2.3431,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91746204,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"19","issue":"4","first_page":"721","last_page":"737"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9666000008583069,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9666000008583069,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.009999999776482582,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.006300000008195639,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.5841000080108643},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5189999938011169},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5152999758720398},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.5024999976158142},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4961000084877014},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.47929999232292175},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4449000060558319},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.429500013589859},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.4203000068664551},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.41339999437332153}],"concepts":[{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.5841000080108643},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5189999938011169},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5152999758720398},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.5024999976158142},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4961000084877014},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.47929999232292175},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46369999647140503},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4449000060558319},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.429500013589859},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.4203000068664551},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.41339999437332153},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.397599995136261},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39169999957084656},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.3849000036716461},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.3686000108718872},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.3662000000476837},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3644999861717224},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.36309999227523804},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.357699990272522},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.35040000081062317},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.3474999964237213},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3456000089645386},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33730000257492065},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.33570000529289246},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.33469998836517334},{"id":"https://openalex.org/C97508593","wikidata":"https://www.wikidata.org/wiki/Q1359069","display_name":"Contingency","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C166374712","wikidata":"https://www.wikidata.org/wiki/Q209555","display_name":"Tautology (logic)","level":5,"score":0.313400000333786},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.31209999322891235},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.3084999918937683},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.27549999952316284},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.26579999923706055},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2558000087738037}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s11787-025-00400-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-025-00400-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-025-00400-7.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire/6927d083-ba3b-4dc5-9522-d4912998b9c5","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/on-the-contingency-of-logic-in-possible-world-semantics(6927d083-ba3b-4dc5-9522-d4912998b9c5).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van der Giessen, I, Joosten, J J, Mayaux, P & Navarro Arroyo, V 2025, 'On the Contingency of Logic in Possible World Semantics', Logica Universalis, vol. 19, no. 4, pp. 721\u2013737. https://doi.org/10.1007/s11787-025-00400-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:riunet.upv.es:10251/233990","is_oa":true,"landing_page_url":"https://riunet.upv.es/handle/10251/233990","pdf_url":"https://riunet.upv.es/bitstreams/c596a404-15f0-4661-9cc6-22b2acfbcbd2/download","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/s11787-025-00400-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-025-00400-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-025-00400-7.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1650125035","display_name":null,"funder_award_id":"B-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G1990301869","display_name":null,"funder_award_id":"2021 SGR 00348","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320323428","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416042405.pdf","grobid_xml":"https://content.openalex.org/works/W4416042405.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1595342745","https://openalex.org/W1969042337","https://openalex.org/W2005688979","https://openalex.org/W2022355674","https://openalex.org/W2039904055","https://openalex.org/W2075277371","https://openalex.org/W2155581733","https://openalex.org/W2169327191","https://openalex.org/W2566963820","https://openalex.org/W2969775091","https://openalex.org/W3128262759","https://openalex.org/W4251274916","https://openalex.org/W4285250583","https://openalex.org/W4388321153","https://openalex.org/W4401675000"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2,68],"investigates":[3],"the":[4,9,19,101,107,156,181,193],"contingency":[5],"of":[6,11,21,109,133,158],"logic":[7,79,91,184],"within":[8],"framework":[10],"possible":[12,34,42,102],"world":[13,16,103],"semantics.":[14,104],"Possible":[15],"semantics":[17,38],"captures":[18],"meaning":[20],"necessitation,":[22],"i.e.,":[23],"a":[24,70,131],"statement":[25],"is":[26],"necessarily":[27],"true":[28],"if":[29],"it":[30],"holds":[31],"in":[32,58,100,161],"all":[33,41],"worlds.":[35],"Standard":[36],"Kripkean":[37],"assumes":[39],"that":[40,155],"worlds":[43,61],"are":[44],"governed":[45],"by":[46],"one":[47],"single":[48],"logic.":[49],"We":[50,105],"relax":[51],"this":[52],"assumption":[53],"and":[54,88,146,216,236,245],"introduce":[55],"mixed":[56,110,135],"models,":[57],"which":[59],"different":[60,64],"may":[62],"obey":[63],"logical":[65],"systems.":[66],"The":[67],"provides":[69],"first":[71],"case":[72],"study":[73],"where":[74],"we":[75,213],"mix":[76],"classical":[77],"propositional":[78,90],"(":[80,92,137,198],"$$\\mathsf{{CPC}}":[81],"$$":[82,94,140,186,200,239,250],"<mml:math":[83,95,116,141,166,187,201,224,240,251],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[84,96,117,142,167,188,202,225,241,252],"<mml:mi>CPC</mml:mi>":[85,122,172,230],"</mml:math>":[86,98,127,144,177,190,208,235,243,258],")":[87,99],"intuitionistic":[89,182],"$$\\mathsf{{IPC}}":[93],"<mml:mi>IPC</mml:mi>":[97,124,174,232],"define":[106],"class":[108],"models":[111,136,247],"$$\\mathcal":[112,162,220],"{M}\\mathcal":[113,163,221],"{M}(\\mathsf{{CPC}},":[114,164,222],"\\mathsf{{IPC}})$$":[115,165,223],"<mml:mrow>":[118,168,203,226,253],"<mml:mi>M</mml:mi>":[119,120,169,170,227,228],"<mml:mo>(</mml:mo>":[121,171,229],"<mml:mo>,</mml:mo>":[123,173,231],"<mml:mo>)</mml:mo>":[125,175,233],"</mml:mrow>":[126,176,207,234,257],",":[128,244],"together":[129],"with":[130,192],"subclass":[132],"concrete":[134],"$${\\mathcal":[138,237],"{CMM}}":[139,238],"<mml:mi>CMM</mml:mi>":[143,242],"),":[145],"establish":[147],"their":[148],"semantic":[149],"properties.":[150],"Our":[151],"main":[152],"result":[153],"shows":[154],"set":[157],"formulas":[159],"valid":[160],"corresponds":[178],"exactly":[179],"to":[180],"modal":[183],"$$\\mathsf{{iK}}":[185],"<mml:mi>iK</mml:mi>":[189,204,254],"extended":[191],"Box":[194],"Excluded":[195],"Middle":[196],"axiom":[197],"$$\\mathsf{{iK}+\\mathsf{{bem}}}":[199,249],"<mml:mo>+</mml:mo>":[205,255],"<mml:mi>bem</mml:mi>":[206,256],").":[209],"To":[210],"demonstrate":[211],"this,":[212],"prove":[214],"soundness":[215],"completeness":[217],"results":[218],"linking":[219],"birelational":[246],"for":[248],".":[259]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-11-08T00:00:00"}