TY - GEN

T1 - Temporal deontic logic for the generalised chisholm set of contrary to duty obligations

AU - Gabbay, Dov

PY - 2012

Y1 - 2012

N2 - We consider a generalised Chisholm set of contrary to duty obligations (CTD) of the form and for i = 0,..., n we have the CTD is and the facts ±q j for some j J {0,1,..., n + 1}. Note that for the case of n = 1 and fact ¬q 0 we have the Chisholm paradox. We also allow for temporal sequencing of the q i in the form that q i + 1 may come temporally before or after q i . We offer a representation of this problem in a variation of standard deontic logic that we call TSDL, with the standard temporal operator , the deontic obligation operator O, and the past operator Y for "yesterday". This formalism is free of the above paradoxes. We provide an axiomatization and show it to be complete. The logic formalism enjoys the finite tree model property and hence is decidable.

AB - We consider a generalised Chisholm set of contrary to duty obligations (CTD) of the form and for i = 0,..., n we have the CTD is and the facts ±q j for some j J {0,1,..., n + 1}. Note that for the case of n = 1 and fact ¬q 0 we have the Chisholm paradox. We also allow for temporal sequencing of the q i in the form that q i + 1 may come temporally before or after q i . We offer a representation of this problem in a variation of standard deontic logic that we call TSDL, with the standard temporal operator , the deontic obligation operator O, and the past operator Y for "yesterday". This formalism is free of the above paradoxes. We provide an axiomatization and show it to be complete. The logic formalism enjoys the finite tree model property and hence is decidable.

UR - http://www.scopus.com/inward/record.url?scp=84864831438&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-31570-1_7

DO - 10.1007/978-3-642-31570-1_7

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84864831438

SN - 9783642315695

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 91

EP - 107

BT - Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings

T2 - 11th International Conference on Deontic Logic in Computer Science, DEON 2012

Y2 - 16 July 2012 through 18 July 2012

ER -