Explicit Non-normal Modal Logic

Rohani, Atefeh; Studer, Thomas (5 October 2021). Explicit Non-normal Modal Logic. In: Silva, Alexandra; Wassermann, Renata; de Queiroz, Ruy (eds.) WoLLIC 2021 - 27th Workshop on Logic, Language, Information and Computation. Lecture Notes in Computer Science: Vol. 13038 (pp. 64-81). Springer 10.1007/978-3-030-88853-4_5

	Text ExplicitNonNormal.pdf - Submitted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (314kB) | Request a copy
	Text 978-3-030-88853-4_5.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (312kB) | Request a copy

Faroldi argues that deontic modals are hyperintensional. 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 completness with respect to various models and we study the problem of realization.

Interest & Impact

Downloads

2 since deposited on 04 Feb 2022
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item