Action negation and alternative reductions for dynamic deontic logics

Journal of Applied Logic

Volumn 2, Issue 1 SPEC. ISS., 2004, Pages 153-168

  Broersen, Jan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Action negation and refraining; Action theory; Deontic logic; Dynamic logic

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

ACTION NEGATION; ACTION REFRAINING; ACTION THEORY; DEONTIC LOGIC; DYNAMIC LOGIC;

FORMAL LOGIC;

EID: 9444230925     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.01.007     Document Type: Article

References (30)

1. Belnap N. Perloff M. Seeing to it that: A canonical form for agentives Theoria 54 3 1988 175-199
2. K. Segerberg, Getting started: Beginnings in the logic of action, Studia Logica 51
3. M. Sergot, F. Richards, On the representation of action and agency in the theory of normative positions, Fundamenta Informaticae 34, special issue with papers from DEON2000
4. Horty J. Agency and Deontic Logic 2001 Oxford Univ. Press Oxford
5. Kanger S. New foundations for ethical theory Hilpinen R. Deontic Logic: Introductory and Systematic Readings 1971 36-58 Reidel
6. Kanger S. Law and logic Theoria 38 3 1972 105-132
7. Pörn I. Action Theory and Social Science: Some Formal Models 1977 Reidel
8. Wright G.v. On the logic of norms and actions Hilpinen R. New Studies in Deontic Logic 1981 3-35 Reidel
9. Wright G.v. Deontic logic-as I see it McNamara P. Prakken H. Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science 1999 15-25 IOS Press
10. Castañeda H.-N. Thinking and Doing. The Philosophical Foundations of Institutions 1975 Reidel
11. Castañeda H.-N. The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop Hilpinen R. New Studies in Deontic Logic: Norms, Actions and the Foundations of Ethics 1981 37-85 Reidel
12. Castañeda H.-N. Aspectual actions and Davidson's theory of events LePore B.M.E. Actions and Events: Perspectives on the Philosophy of Donald Davidson 1985 294-310 Basil-Blackwell
13. Hilpinen R. Actions in deontic logic Meyer J.-J. Wieringa R. Deontic Logic in Computer Science: Normative System Specification 1993 85-100 Wiley
14. Meyer J.-J. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic Notre Dame J. Formal Logic 29 1988 109-136
15. Meyden R.v.d. The dynamic logic of permission J. Logic Comput. 6 3 1996 465-479
16. Broersen J. Wieringa R. Meyer J.-J. A fixed-point characterization of a deontic logic of regular action Fundamenta Informaticae 48 2, 3 2001 107-128 special issue with papers from DEON2000
17. J. Broersen, Modal action logics for reasoning about reactive systems, Ph.D. Thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam, Februari 2003
18. Segerberg K. Outline of a logic of action Advances in Modal Logic vol. 3 2002 365-387 World Scientific
19. Wright G.v. Norm and Action; a Logical Enquiry, International Library of Philosophy and Scientific Method 1963 Routledge - Kegan Paul
20. Hintikka J. Some main problems of deontic logic Hilpinen R. Deontic Logic: Introductory and Systematic Readings 1971 59-104 Reidel
21. Wansing H. On the negation of action types: Constructive concurrent PDL Proceedings International Congress of Logic Methodology and Philosophy of Science (LMPS 12) 2003 invited lecture, submitted for publication
22. Tarski A. On the calculus of relations J. Symbolic Logic 6 1941 73-89
23. Harel D. Kozen D. Tiuryn J. Dynamic Logic 2000 MIT Press Cambridge, MA
24. Orlowska E. Dynamic logic with program specification and its relational proof system J. Appl. Non-Classical Logics 3 2 1993 147-171
25. J.v. Benthem, Modal correspondence theory, Ph.D. Thesis, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van Exacte Wetenschappen, 1976
26. Dignum F. Meyer J.-J. Wieringa R. Free choice and contextually permitted actions Studia Logica 57 1996 193-220
27. Føllesdal D. Hilpinen R. Deontic logic: An introduction Hilpinen R. Deontic Logic: Introductory and Systematic Readings 1971 1-35 Reidel
28. Hilpinen R. New Studies in Deontic Logic 1981 Reidel
29. Makinson D. Stenius' approach to disjunctive permission Theoria 50 1984 138-147
30. Ross A. Imperatives and logic Theoria 7 1941 53-71