Reactive Kripke models and contrary to duty obligations

Dov M. Gabbay

doi:10.1007/978-3-540-70525-3_13

Reactive Kripke models and contrary to duty obligations

Dov M. Gabbay

King's College London

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

23 Scopus citations

Original language	English
Title of host publication	Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings
Pages	155-173
Number of pages	19
DOIs	https://doi.org/10.1007/978-3-540-70525-3_13
State	Published - 2008
Externally published	Yes
Event	9th International Conference on Deontic Logic in Computer Science, DEON 2008 - Luxembourg, Luxembourg Duration: 15 Jul 2008 → 18 Jul 2008

Publication series

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

Conference

Conference	9th International Conference on Deontic Logic in Computer Science, DEON 2008
Country/Territory	Luxembourg
City	Luxembourg
Period	15/07/08 → 18/07/08

Access to Document

10.1007/978-3-540-70525-3_13

Cite this

Gabbay, D. M. (2008). Reactive Kripke models and contrary to duty obligations. In Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings (pp. 155-173). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5076 LNAI). https://doi.org/10.1007/978-3-540-70525-3_13

@inproceedings{aa411ff0be6d41e881a6aa5c215331be,

title = "Reactive Kripke models and contrary to duty obligations",

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

year = "2008",

doi = "10.1007/978-3-540-70525-3_13",

language = "אנגלית",

isbn = "3540705244",

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

pages = "155--173",

booktitle = "Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings",

note = "9th International Conference on Deontic Logic in Computer Science, DEON 2008 ; Conference date: 15-07-2008 Through 18-07-2008",

}

Gabbay, DM 2008, Reactive Kripke models and contrary to duty obligations. in Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5076 LNAI, pp. 155-173, 9th International Conference on Deontic Logic in Computer Science, DEON 2008, Luxembourg, Luxembourg, 15/07/08. https://doi.org/10.1007/978-3-540-70525-3_13

Reactive Kripke models and contrary to duty obligations. / Gabbay, Dov M.
Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings. 2008. p. 155-173 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5076 LNAI).

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

TY - GEN

T1 - Reactive Kripke models and contrary to duty obligations

AU - Gabbay, Dov M.

PY - 2008

Y1 - 2008

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

U2 - 10.1007/978-3-540-70525-3_13

DO - 10.1007/978-3-540-70525-3_13

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

AN - SCOPUS:48949084144

SN - 3540705244

SN - 9783540705246

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

SP - 155

EP - 173

BT - Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Proceedings

T2 - 9th International Conference on Deontic Logic in Computer Science, DEON 2008

Y2 - 15 July 2008 through 18 July 2008

ER -

Reactive Kripke models and contrary to duty obligations

Publication series

Conference

Access to Document

Other files and links

Cite this