A complete axiomatization of a temporal logic with obligation and robustness

[1]  Michael Wooldridge,et al.  Logics for Qualitative Coalitional Games , 2009, Log. J. IGPL.

[2]  Judith Wagner DeCew.  Conditional obligation and counterfactuals , 1981, J. Philos. Log..

[3]  Yoav Shoham,et al.  Belief as Defeasible Knowledge , 1989, IJCAI.

[4]  Frank Dignum,et al.  The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.

[5]  Tim French,et al.  Axioms for Obligation and Robustness with Temporal Logic , 2010, DEON.

[6]  Carsten Lutz,et al.  Proceedings of the 11th European conference on Logics in Artificial Intelligence , 2008 .

[7]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[8]  Geoffrey Sayre-McCord.  Deontic Logic and the Priority of Moral Theory , 1986 .

[9]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[10]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[11]  J. Meyer.  Modal Epistemic and Doxastic Logic , 2003 .

[12]  Tim French,et al.  A Temporal Logic of Robustness , 2007, FroCoS.

[13]  Alberto Zanardo,et al.  Branching-time logic with quantification over branches: The point of view of modal logic , 1996, Journal of Symbolic Logic.

[14]  Nuel D. Belnap,et al.  Seeing To it That: A Canonical Form for Agentives , 2008 .

[15]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[16]  Clare Dixon,et al.  CTL-Like Fragments of a Temporal Logic of Robustness , 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

[17]  Mark Reynolds,et al.  An axiomatization of full Computation Tree Logic , 2001, Journal of Symbolic Logic.

[18]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[19]  A. Prasad Sistla,et al.  Deciding Full Branching Time Logic , 1985, Inf. Control..

[20]  Tina Smith,et al.  Violation of norms , 1993, ICAIL '93.

[21]  Leon van der Torre,et al.  The Temporal Analysis of Chisholm's Paradox , 1998, AAAI/IAAI.

[22]  John Christopher McCabe-Dansted.  A Tableau for RoBCTL* , 2008, JELIA.

[23]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[24]  Laurent Kott.  Automata, Languages and Programming , 1986, Lecture Notes in Computer Science.

[25]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .