The equational approach to contrary-to-duty obligations

Dov M. Gabbay

doi:10.1007/978-3-319-04939-7_1

The equational approach to contrary-to-duty obligations

Dov M. Gabbay

Department of Computer Science and Artificial Intelligence

King's College London
University of Luxembourg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings
Pages	1-61
Number of pages	61
DOIs	https://doi.org/10.1007/978-3-319-04939-7_1
State	Published - 2014
Event	8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014 - Bordeaux, France Duration: 3 Mar 2014 → 7 Mar 2014

Publication series

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

Conference

Conference	8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014
Country/Territory	France
City	Bordeaux
Period	3/03/14 → 7/03/14

Access to Document

10.1007/978-3-319-04939-7_1

Cite this

Gabbay, D. M. (2014). The equational approach to contrary-to-duty obligations. In Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings (pp. 1-61). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8367 LNCS). https://doi.org/10.1007/978-3-319-04939-7_1

@inproceedings{1c16c2e949254a9e9492dcfba78b730e,

title = "The equational approach to contrary-to-duty obligations",

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.",

author = "Gabbay, \{Dov M.\}",

year = "2014",

doi = "10.1007/978-3-319-04939-7\_1",

language = "אנגלית",

isbn = "9783319049380",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "1--61",

booktitle = "Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings",

note = "8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014 ; Conference date: 03-03-2014 Through 07-03-2014",

}

Gabbay, DM 2014, The equational approach to contrary-to-duty obligations. in Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8367 LNCS, pp. 1-61, 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, Bordeaux, France, 3/03/14. https://doi.org/10.1007/978-3-319-04939-7_1

The equational approach to contrary-to-duty obligations. / Gabbay, Dov M.
Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings. 2014. p. 1-61 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8367 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The equational approach to contrary-to-duty obligations

AU - Gabbay, Dov M.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84898069101

U2 - 10.1007/978-3-319-04939-7_1

DO - 10.1007/978-3-319-04939-7_1

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

AN - SCOPUS:84898069101

SN - 9783319049380

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

SP - 1

EP - 61

BT - Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Proceedings

T2 - 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014

Y2 - 3 March 2014 through 7 March 2014

ER -

The equational approach to contrary-to-duty obligations

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this