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

	Text JE.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (390kB)
	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.

Interest & Impact

Downloads

2 since deposited on 25 Mar 2024
2 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