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

[img] Text
ExplicitNonNormal.pdf - Submitted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (314kB)
[img] Text
978-3-030-88853-4_5.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (312kB)

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.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Rohani, Atefeh, Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISBN:

978-3-030-88853-4

Series:

Lecture Notes in Computer Science

Publisher:

Springer

Language:

English

Submitter:

Atefeh Rohani

Date Deposited:

04 Feb 2022 09:36

Last Modified:

24 Mar 2024 02:05

Publisher DOI:

10.1007/978-3-030-88853-4_5

BORIS DOI:

10.48350/164491

URI:

https://boris.unibe.ch/id/eprint/164491

Actions (login required)

Edit item Edit item
Provide Feedback