Results 11 to 20 of about 697,727 (200)

Blueprint for a dynamic deontic logic [PDF]

Journal of Applied Logic, 2009
Building on work in some of his earlier publications, the author constructs a semantic framework for deontic logic that (1) is dynamic, in the sense that it is based on a logic of actions in time (rather than just a logic of propositions), and (2) deals with normative actions (modifying the norms in force) as well as ordinary ones (that alter the world
Krister Segerberg
exaly   +6 more sources

Action Type Deontic Logic [PDF]

Journal of Logic, Language and Information, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bentzen, Martin Mose
exaly   +6 more sources

Enriching deontic logic [PDF]

Journal of Logic and Computation, 2018
It is well-known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different.
Canavotto, Ilaria, Giordani, Alessandro
core   +7 more sources

A Probabilistic Deontic Logic [PDF]

, 2021
In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.
de Wit, Vincent, Doder, Dragan, Meyer, John-Jules   +2 more
openaire   +6 more sources

A logic for deontic dilemmas

Journal of Applied Logic, 2005
By a deontic dilemma the author means a situation in which both `\(A\) is obligatory' and `not-\(A\) is obligatory' are accepted without reservation nor any form of prioritization or other convention to resolve the conflict in favour of one or the other.
Lou Goble
openaire   +5 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.
Fenrong Liu, Johan van Benthem, Davide Grossi   +2 more
exaly   +2 more sources

Deontic Sufficiency in Dyadic Deontic Logic

Lecture Notes in Computer Science
In this paper, we introduce and study the logics for conditionals of the form “Given φ, it suffices to do ψ”, which are known as “deontic sufficiency” in the deontic logic literature and are useful in the decision and game theory contexts. We completely axiomatize the logics under different assumptions about the properties of the preference relations ...
Xu Li
openaire   +4 more sources

Introducing Exclusion Logic as a Deontic Logic [PDF]

, 2010
This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
Evans, Richard
core   +7 more sources

A Ceteris Paribus Deontic Logic. [PDF]

, 2020
We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of unconditional obligation and permission as well as conditional obligation and permission that are interpreted relative to this semantics.
Andrea Loreggia, Emiliano Lorini, Giovanni Sartor   +2 more
core   +6 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   +3 more sources