Reactive Kripke Models and Contrary to Duty Obligations

Gabbay, Dov M.

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Gabbay, Dov M.

2008 • In Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Peer reviewed

Permalink
https://hdl.handle.net/10993/15889

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

chp%3A10.1007%2F978-3-540-70525-3_13.pdf

Publisher postprint (248.28 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Abstract :

[en] This is an intuitive description of our approach to modelling contrary to duty obliga- tions. We shall describe our ideas through the analysis of typical problematic examples taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5]

Disciplines :

Computer science

Identifiers :

UNILU:UL-CONFERENCE-2009-248

Author, co-author :

Gabbay, Dov M. ; King’s College London, Department of Computer Science, London, UK

Language :

English

Title :

Reactive Kripke Models and Contrary to Duty Obligations

Publication date :

2008

Event name :

Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Event date :

2008

Main work title :

Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science 5076

Pages :

155–173

Peer reviewed :

Peer reviewed

Commentary :

5076

Available on ORBilu :

since 10 March 2014

Statistics

Number of views

39 (1 by Unilu)

Number of downloads

252 (2 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™

Bibliography

Gabbay, D.M.: Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, vol. 4800, pp. 292-341. Springer, Berlin (2008);
Earlier version published. In: Carnielli, W., Dionesio, F. M., Mateus, P. (eds.) Proceeding of CombLog04, Centre of Logic and Computation University of Lisbon, pp. 7-20 (2004), http://www.cs.math.ist.utl.pt/comblog04/ftp://logica. cle.unicamp.br/pub/e-prints/comblog04/gabbay.pdf
Gabbay, D.M., Barringer, H., Rydeheard, D.: Reactive Grammars. Draft
Gabbay, D.M., Crochemore, M.: Reactive Automata. Draft
Gabbay, D.M., D'Agostino, M.: Reactive Conditionals. Draft
Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91-115 (1996)
Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265-343. Springer, Heidelberg (2002)
Gabbay, D.M.: Reactive Proof Theory. Draft
Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulas, and Resource Overdraft: Part I. Logic Journal of the IGPL 10, 601-652 (2002)
Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulae and Resource Overdraft: Part II. In: Gabbay, D.M., Rahman, S., Symons, J., van Bendegem, J.-P. (eds.) Logic, Epistemology and the Unity of Science, pp. 291-326. Kluwer, Dordrecht (2004)
Gabbay, D.M., Reyle, U.: N-Prolog: An Extension of Prolog with Hypothetical Implications I. Journal of Logic Programming 1, 319-355 (1984)
Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155-185 (2001)
van der Torre, L.W.N., Tan, Y.-H.: The Temporal Analysis of Chisholm's Paradox. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference (1998)
Hansson, B.: Standard Dyadic Denotic Logic. Noûs 3, 373-398 (1969)
van der Torre, L.: Violated obligations in a defeasible deontic logic. In: Proceedings of ECAI 1994, Amsterdam, pp. 371-375 (1994)
Makinson, D.: Five faces of minimality. Studia Logica 52, 339-379 (1993)
Broersen, J., van der Torre, L.: Reasoning About Norms, Obligations, Time and Agents. In: Proceedings of PRIMA 2007. LNCS. Springer, Heidelberg (to appear)
Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems, Jan Broersen, PhD-thesis Vrije Universiteit Amsterdam (January 2003)
Hansen, J., Pigozzi, G., van der Torre, L.: Ten Philosophical Problems in Deontic Logic. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2007)
Broersen, J., van der Torre, L.W.N.: Semantic Analysis of Chisholm's Paradox. In: BNAIC 2005, pp. 28-34 (2005)