Work

Explicit non-normal modal logic

Year: 2024

Type: article

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.

Source: Open Access CRIS of the University of Bern

DOI: 10.48620/87603

Authors: Rohani, Atefeh, Studer, Thomas

Institution: Institute of Computer Science

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6967305162

FWCI:

Cites:

Cited by:

Related to: