Add to ORKGIn the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished–abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations
In this paper we propose the deontic logic DUS, that formalizes reasoning about prescriptive obligat...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
In the paper we discuss different intuitions about the properties of obligatory actions in the frame...
In this paper we develop a system of deontic logic (LAO, the logic of actual obligation) with a rat...
Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; accordi...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Deontic logic is devoted to the study of logical properties of normative predicates such a...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
In this paper we introduce some new operators that make it possible to reason about decisions and c...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
In this paper we propose the deontic logic DUS, that formalizes reasoning about prescriptive obligat...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
In the paper we discuss different intuitions about the properties of obligatory actions in the frame...
In this paper we develop a system of deontic logic (LAO, the logic of actual obligation) with a rat...
Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; accordi...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Deontic logic is devoted to the study of logical properties of normative predicates such a...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
In this paper we introduce some new operators that make it possible to reason about decisions and c...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
In this paper we propose the deontic logic DUS, that formalizes reasoning about prescriptive obligat...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...