Explicit non-normal modal logic
Abstract 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.
Authors
- Atefeh Rohani
- Thomas Studer (ORCID: https://orcid.org/0000-0002-0949-3302)
Institutions
- University of Bern (CH)
- Czech Academy of Sciences, Institute of Computer Science (CZ)
Publication Details
- Journal
- Journal of Logic and Computation
- Published
- 2024-12-23
- DOI
- https://doi.org/10.1093/logcom/exae052
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation
- Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung