Results 171 to 180 of about 1,947 (213)

Situationist Deontic Logic

Journal of Philosophical Logic, 1997
Situationist deontic logic is deontic logic restricted in application to single situations and single sets of alternatives, thus taking no account of change or variation of agent's perspective, and representing no general norms. Even within this limited domain, standard deontic logic exhibits noteworthy problems.
Sven Ove Hansson, Hansson Sven Ove
exaly   +2 more sources

The Geometry of Standard Deontic Logic

Logica Universalis, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly   +3 more sources

Prohairetic Deontic Logic (PDL)

, 1998
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. An obligation 'α should be (done) if β is (done)' is true if (1) no ¬αλβ state is as preferable as an αλβ state and (2) the preferred β states are α states.
Leendert W. N. van der Torre, Yao-Hua Tan   +1 more
openaire   +3 more sources

Priority Structures in Deontic Logic

Theoria (Stockholm), 2014
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations.
Johan Van Benthem, Davide Grossi, Fenrong Liu   +2 more
exaly   +2 more sources

Generalizing Deontic Action Logic

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alessandro Giordani, Matteo Pascucci
openaire   +1 more source

Contextual Deontic Logic

1999
In this article we propose contextual deontic logic. Contextual obligations are written as O(α|β\γ), and are to be read as 'α should be the case if β is the case, unless γ is the case'. The unless clause is analogous to the justification in Reiter's default rules.
Leendert W. N. van der Torre, Yao-Hua Tan   +1 more
openaire   +3 more sources

Andersonian Deontic Logic, Propositional Quantification, and Mally

Notre Dame Journal of Formal Logic, 2006
We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional ...
Lokhorst, G.J.C. (author), Lokhorst, G.J.C.   +1 more
exaly   +2 more sources

Deontic logic programs

International Joint Conference on Autonomous Agents and Multiagent Systems, 2013
Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.
Ricardo Gonçalves 0001, José Júlio Alferes   +1 more
openaire   +2 more sources

Andersonian deontic logic*

Theoria, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Deontic Logic

2012
International audience ; Deontic logic is the logic of obligation and permission. In the literature it has mainly been studied in terms of a list of problems and that is the way we chose to present it in this section. There are three main categories of problems. The first category is concerned with the nature of norms.
Broersen, Jan, Gabbay, Dov, Herzig, Andreas, Lorini, Emiliano, Meyer, John-Jules, Parent, Xavier, van Der Torre, Leendert W. N.   +6 more
openaire   +3 more sources