A temporal dynamic deontic logic

textabstractThis paper presents a formalization of refraining from actions and a deontic logic based on a process logic. The notion of refraining is needed to handle obligated actions. To refrain to do an action is to do something else. The process logic used is a mix of dynamic logic and temporal logic: actions in it are interpreted as sets of paths and temporal formulas describe the process of performing actions. The deontic logic has a temporal propositional constant saying that a bad thing will be done in the next moment. Normative properties of actions can be defined according to what happens in the process of performing actions.

[1]  David Harel,et al.  Process Logic: Expressiveness, Decidability, Completeness , 1980, FOCS.

[2]  Ron van der Meyden,et al.  The Dynamic Logic of Permission , 1990, J. Log. Comput..

[3]  Peter Geach.  Whatever happened to deontic logic? , 1982 .

[4]  Pierre Wolper,et al.  Yet Another Process Logic (Preliminary Version) , 1983, Logic of Programs.

[5]  George Gargov,et al.  A Note on Boolean Modal Logic , 1990 .

[6]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[7]  Hirokazu Nishimura.  Descriptively complete process logic , 2004, Acta Informatica.

[8]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[9]  Riccardo Pucella,et al.  Reasoning about Dynamic Policies , 2004, FoSSaCS.

[10]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[11]  Jan M. Broersen.  Action negation and alternative reductions for dynamic deontic logics , 2004, J. Appl. Log..

[12]  S. Kanger.  New Foundations for Ethical Theory , 1970 .

[13]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[14]  A. R. Anderson.  Some nasty problems in the formal logic of ethics , 1967 .

[15]  Johan van Benthem,et al.  Deontics = Betterness + Priority , 2010, DEON.

[16]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..