The equational approach to contrary-to-duty obligations

Dov M. Gabbay

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

2 Scopus citations

Abstract

We apply the equational approach to logic to define numerical equational semantics and consequence relations for contrary to duty obligations, thus avoiding some of the traditional known paradoxes in this area. We also discuss the connection with abstract argumentation theory. Makinson and Torre's input output logic and Governatori and Rotolo's logic of violation.

Original languageEnglish
Title of host publicationFoundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings
Pages1-61
Number of pages61
DOIs
StatePublished - 2014
Event8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014 - Bordeaux, France
Duration: 3 Mar 20147 Mar 2014

Publication series

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

Conference

Conference8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014
Country/TerritoryFrance
CityBordeaux
Period3/03/147/03/14

Fingerprint

Dive into the research topics of 'The equational approach to contrary-to-duty obligations'. Together they form a unique fingerprint.

Cite this