Reasoning about Actions and Obligations in First-Order Logic

Studia Logica 57 (1):221 - 237 (1996)
  Copy   BIBTEX

Abstract

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation--R. M. Lee's deontic expert shell DX--is briefly described

Categories

Keywords

Reprint years

DOI

10.1007/bf00370676

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about actions and obligations in first-order logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
Consequences of Reasoning with Conflicting Obligations.Shyam Nair - 2014 - Mind 123 (491):753-790.
Two approaches to the formalisation of defeasible deontic reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
Deontic norms, deontic reasoning, and deontic conditionals.Sieghard Beller - 2008 - Thinking and Reasoning 14 (4):305 – 341.
Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2013 - Theoria 80 (2):116-152.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.
An Intuitionistic Reformulation of Mally’s Deontic Logic.Gert-Jan C. Lokhorst - 2013 - Journal of Philosophical Logic 42 (4):635-641.
Adaptive domains of deontic reasoning.Laurence Fiddick - 2006 - Philosophical Explorations 9 (1):105 – 116.
Contrary-to-duty obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
Logical dynamics of some speech acts that affect obligations and preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Precedent, Deontic Logic, and Inheritance.John F. Horty - unknown

Analytics

Added to PP
2013-09-30

Downloads
39 (#397,578)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Logical English meets legal English for swaps and derivatives.Robert Kowalski & Akber Datoo - 2022 - Artificial Intelligence and Law 30 (2):163-197.
A norm-giver meets deontic action logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.

Add more citations

References found in this work

Norm and action.Georg Henrik von Wright - 1963 - New York,: Humanities.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
A topological logic of action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.

Add more references