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

Dov Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationDeontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings
Pages91-107
Number of pages17
DOIs
StatePublished - 2012
Event11th International Conference on Deontic Logic in Computer Science, DEON 2012 - Bergen, Norway
Duration: 16 Jul 201218 Jul 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7393 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Deontic Logic in Computer Science, DEON 2012
Country/TerritoryNorway
CityBergen
Period16/07/1218/07/12

Fingerprint

Dive into the research topics of 'Temporal deontic logic for the generalised chisholm set of contrary to duty obligations'. Together they form a unique fingerprint.

Cite this