Conditional Obligations in Justification Logic

Faroldi, Federico L. G.; Rohani, Atefeh; Studer, Thomas (2023). Conditional Obligations in Justification Logic. In: Hansen, Helle Hvid; Scedrov, Andre; de Queiroz, Ruy J.G.B. (eds.) 29th International Workshop on Logic, Language, Information, and Computation, 2023. Lecture Notes in Computer Science: Vol. 13923 (pp. 178-193). Cham: Springer Nature Switzerland 10.1007/978-3-031-39784-4_11

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

Download (390kB)
[img] Text
978-3-031-39784-4_11.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (322kB)

This paper presents a justification counterpart for dyadic deontic logic, which is often argued to be better than Standard Deontic Logic at representing conditional and contrary-to-duty obligations, such as those exemplified by the notorious Chisholm's puzzle. We consider the alethic-deontic system (E) and present the explicit version of this system (JE) by replacing the alethic Box-modality with proof terms and the dyadic deontic Circ-modality with justification terms. The explicit representation of strong factual detachment (SFD) is given and finally soundness and completeness of the system (JE) with respect to basic models and preference models is established.

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

ISSN:

0302-9743

ISBN:

978-3-031-39784-4

Series:

Lecture Notes in Computer Science

Publisher:

Springer Nature Switzerland

Language:

English

Submitter:

Armand Singh Satjeevan Feuilleaubois

Date Deposited:

25 Mar 2024 11:57

Last Modified:

25 Mar 2024 11:57

Publisher DOI:

10.1007/978-3-031-39784-4_11

Additional Information:

Logic, Language, Information, and Computation

BORIS DOI:

10.48350/194429

URI:

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

Actions (login required)

Edit item Edit item
Provide Feedback