{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T01:47:33Z","timestamp":1776044853850,"version":"3.50.1"},"reference-count":22,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T00:00:00Z","timestamp":1695254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In this work, we illustrate applications of a semantic framework for non-congruential modal logic based on hyperintensional models. We start by discussing some philosophical ideas behind the approach; in particular, the difference between the set of possible worlds in which a formula is true (its intension) and the semantic content of a formula (its hyperintension), which is captured in a rigorous way in hyperintensional models. Next, we rigorously specify the approach and provide a fundamental completeness theorem. Moreover, we analyse examples of non-congruential systems that can be semantically characterized within this framework in an elegant and modular way. Finally, we compare the proposed framework with some alternatives available in the literature. In the light of the results obtained, we argue that hyperintensional models constitute a basic, general and unifying semantic framework for (non-congruential) modal logic.<\/jats:p>","DOI":"10.1093\/jigpal\/jzad018","type":"journal-article","created":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T10:18:31Z","timestamp":1694168311000},"source":"Crossref","is-referenced-by-count":0,"title":["Hyperintensional models for non-congruential modal logics"],"prefix":"10.1093","volume":"33","author":[{"given":"Matteo","family":"Pascucci","sequence":"first","affiliation":[{"name":"Slovak Academy of Sciences , Institute of Philosophy v.v.i., Klemensova 19, 811 09, Bratislava, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Sedl\u00e1r","sequence":"additional","affiliation":[{"name":"The Czech Academy of Sciences , Institute of Computer Science Pod Vod\u00e1renskou v\u011b\u017e\u00ed 271\/2, Prague, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,9,21]]},"reference":[{"key":"2026041221251430100_ref1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780192857491.001.0001","volume-title":"Topics of Thought","author":"Berto","year":"2022"},{"key":"2026041221251430100_ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2026041221251430100_ref3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1040067312","article-title":"Modal logics in the vicinity of S1","volume":"37","author":"Chellas","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2026041221251430100_ref4","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1305\/ndjfl\/1093890710","article-title":"The completeness of S1 and some related problems","volume":"13","author":"Cresswell","year":"1972","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2026041221251430100_ref5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","article-title":"Hyperintensional logic","volume":"34","author":"Cresswell","year":"1975","journal-title":"Studia Logica"},{"key":"2026041221251430100_ref6","volume-title":"Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory","author":"Dragonov\u00e1","year":"2023"},{"key":"2026041221251430100_ref7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"key":"2026041221251430100_ref8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2026041221251430100_ref9","doi-asserted-by":"publisher","first-page":"176","DOI":"10.2307\/2964179","article-title":"New foundations for Lewis modal systems","volume":"22","author":"Lemmon","year":"1957","journal-title":"The Journal of Symbolic Logic"},{"key":"2026041221251430100_ref10","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1305\/ndjfl\/1117755151","article-title":"A deontic counterpart of Lewis\u2019 S1","volume":"46","author":"Leung","year":"2005","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2026041221251430100_ref11","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984","journal-title":"Proceedings of AAAI-84"},{"key":"2026041221251430100_ref12","volume-title":"Symbolic Logic","author":"Lewis","year":"1932"},{"key":"2026041221251430100_ref13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.12775\/LLP.2009.013","article-title":"Simplified Kripke style semantics for some very weak modal logics","volume":"18","author":"Pietruszczak","year":"2009","journal-title":"Logic and Logical Philosophy"},{"key":"2026041221251430100_ref14","first-page":"33","article-title":"Semantical investigations on some weak modal logics. Part I","volume":"41","author":"Pietruszczak","year":"2012","journal-title":"Bulletin of the Section of Logic"},{"key":"2026041221251430100_ref15","first-page":"109","article-title":"Semantical investigations on some weak modal logics. Part II","volume":"41","author":"Pietruszczak","year":"2012","journal-title":"Bulletin of the Section of Logic"},{"key":"2026041221251430100_ref16","first-page":"106","article-title":"Impossible worlds semantics and logical omniscience","volume":"35","author":"Rantala","year":"1982","journal-title":"Acta Philosophica Fennica"},{"key":"2026041221251430100_ref17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00373492","article-title":"Quantified modal logic. Non-normal worlds and propositional attitudes","volume":"41","author":"Rantala","year":"1982","journal-title":"Studia Logica"},{"key":"2026041221251430100_ref18","first-page":"468","article-title":"Decision procedures for C1, E1 and S0.5$^o$","volume":"44","author":"Routley","year":"1968","journal-title":"Logique et Analyse"},{"key":"2026041221251430100_ref19","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1007\/s11229-018-02076-7","article-title":"Hyperintensional logics for everyone","volume":"198","author":"Sedl\u00e1r","year":"2021","journal-title":"Synthese"},{"key":"2026041221251430100_ref20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1080\/11663081.1996.10510874","article-title":"A fugue on the themes of awareness logic and correspondence","volume":"6","author":"Thijsse","year":"1996","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2026041221251430100_ref21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","article-title":"Deontic logic","volume":"60","author":"Von Wright","year":"1951","journal-title":"Mind"},{"key":"2026041221251430100_ref22","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","article-title":"A general possible worlds framework for reasoning about knowledge and belief","volume":"49","author":"Wansing","year":"1990","journal-title":"Studia Logica"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/5\/jzad018\/51724313\/jzad018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/5\/jzad018\/51724313\/jzad018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T01:25:18Z","timestamp":1776043518000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzad018\/7280265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,21]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,8,15]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzad018","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2025,10]]},"published":{"date-parts":[[2023,9,21]]},"article-number":"jzad018"}}