{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:10:49Z","timestamp":1757621449856,"version":"3.44.0"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T00:00:00Z","timestamp":1734912000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["200020 184625"],"award-info":[{"award-number":["200020 184625"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,29]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect to various models and we study the problem of realization.<\/jats:p>","DOI":"10.1093\/logcom\/exae052","type":"journal-article","created":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T02:34:29Z","timestamp":1734921269000},"source":"Crossref","is-referenced-by-count":0,"title":["Explicit non-normal modal logic"],"prefix":"10.1093","volume":"35","author":[{"given":"Atefeh","family":"Rohani","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bern , 3012 Bern ,","place":["Switzerland"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bern , 3012 Bern ,","place":["Switzerland"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2024,12,23]]},"reference":[{"key":"2025090809272289100_ref1","first-page":"1","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"BSL"},{"key":"2025090809272289100_ref2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.tcs.2006.03.009","article-title":"Justified common knowledge","volume":"357","author":"Artemov","year":"2006","journal-title":"TCS"},{"key":"2025090809272289100_ref3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11225-012-9387-x","article-title":"The ontology of justifications in the logical setting","volume":"100","author":"Artemov","year":"2012","journal-title":"Studia Logica"},{"key":"2025090809272289100_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/9781108348034","volume-title":"Justification Logic: reasoning with Reasons","author":"Artemov","year":"2019"},{"key":"2025090809272289100_ref5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3166\/jancl.21.35-60","article-title":"Justifications for common knowledge","volume":"21","author":"Bucheli","year":"2011","journal-title":"Applied Non-Classical Logics"},{"key":"2025090809272289100_ref6","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1093\/jigpal\/jzz011","article-title":"Deontic modals and hyperintensionality","volume":"27","author":"Faroldi","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2025090809272289100_ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-03487-0","volume-title":"Hyperintensionality and Normativity","author":"Faroldi","year":"2019"},{"key":"2025090809272289100_ref8","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/jigpal\/jzz012","article-title":"A hyperintensional logical framework for deontic reasons","volume":"27","author":"Faroldi","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2025090809272289100_ref9","article-title":"Impossible and conflicting obligations in justification logic","volume-title":"Proceedings of DEON 2020","author":"Faroldi","year":"2020"},{"key":"2025090809272289100_ref10","first-page":"1","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"APAL"},{"key":"2025090809272289100_ref11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2026120","article-title":"Gentle murder, or the adverbial samaritan","volume":"81","author":"Forrester","year":"1984","journal-title":"Journal of Philosophy"},{"key":"2025090809272289100_ref12","first-page":"189","article-title":"Admissibility of cut in congruent modal logics","volume":"20","author":"Indrzejczak","year":"2011","journal-title":"Logic and Logical Philosophy"},{"key":"2025090809272289100_ref13","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","article-title":"First steps towards probabilistic justification logic","volume":"23","author":"Kokkinis","year":"2015","journal-title":"Logic Journal of IGPL"},{"key":"2025090809272289100_ref14","first-page":"437","article-title":"Justifications, ontology, and conservativity","volume-title":"Advances in Modal Logic, Volume 9","author":"Kuznets","year":"2012"},{"key":"2025090809272289100_ref15","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1093\/jigpal\/jzw002","article-title":"Weak arithmetical interpretations for the logic of proofs","volume":"24","author":"Kuznets","year":"2016","journal-title":"Logic Journal of IGPL"},{"volume-title":"Logics of Proofs and Justifications","year":"2019","author":"Kuznets","key":"2025090809272289100_ref16"},{"key":"2025090809272289100_ref17","first-page":"2313","article-title":"Justification logic for constructive modal logic","volume":"8","author":"Kuznets","year":"2021","journal-title":"Journal of Applied Logic"},{"key":"2025090809272289100_ref18","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1026753129680","article-title":"Sequent calculi and decision procedures for weak modal systems","volume":"66","author":"Lavendhomme","year":"2000","journal-title":"Studia Logica"},{"key":"2025090809272289100_ref19","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/978-3-662-59533-6_26","article-title":"Subset models for justification logic","volume-title":"Logic, Language, Information, and Computation - WoLLIC 2019","author":"Lehmann","year":"2019"},{"key":"2025090809272289100_ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"Pacuit","year":"2017"},{"key":"2025090809272289100_ref21","first-page":"117","article-title":"A note on some explicit modal logics","volume-title":"Proceedings of the 5th panhellenic logic symposium","author":"Pacuit"},{"volume-title":"Dynamic Epistemic Logic with Justification","year":"2008","author":"Renne","key":"2025090809272289100_ref22"},{"key":"2025090809272289100_ref23","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1111\/j.1755-2567.1941.tb01039.x","article-title":"Imperatives and logic","volume":"7","author":"Ross","year":"1941","journal-title":"Theoria"},{"key":"2025090809272289100_ref24","first-page":"388","article-title":"Decidability for some justification logics with negative introspection","volume":"78","author":"Studer","year":"2013","journal-title":"JSL"},{"key":"2025090809272289100_ref25","doi-asserted-by":"crossref","first-page":"124","DOI":"10.21146\/2074-1472-2021-27-1-124-144","article-title":"A conflict tolerant logic of explicit evidence","volume":"27","author":"Studer","year":"2021","journal-title":"Logical Investigations"},{"key":"2025090809272289100_ref26","doi-asserted-by":"crossref","first-page":"1259","DOI":"10.1007\/s11229-019-02104-0","article-title":"A logic of knowing why","volume":"198","author":"Xu","year":"2021","journal-title":"Synthese"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/6\/exae052\/61257361\/exae052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/6\/exae052\/61257361\/exae052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T13:28:25Z","timestamp":1757338105000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exae052\/7930603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,23]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,7,29]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exae052","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2025,9]]},"published":{"date-parts":[[2024,12,23]]},"article-number":"exae052"}}