Add to ORKGThis paper introduces deontic logic of regular actions as a fragment of the modal calculus Semantic characterizations of deontic notions for regular actions are given in terms of conditions on calculus structures and calculus formulas capturing this semantics are constructe
Normative fragment of natural language make up sentences that express acts and describe norms. In th...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose ...
This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semant...
We define a deontic logic of regular action as a characterization within a modal μ-calculus of actio...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
The work reported here steams from the need of a more practical interpretation of the deontic logic....
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
In the paper we discuss different intuitions about the properties of obligatory actions in the frame...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
Sequent calculi for normal and non-normal deontic logics are introduced. For these calculi we prove ...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
Normative fragment of natural language make up sentences that express acts and describe norms. In th...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose ...
This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semant...
We define a deontic logic of regular action as a characterization within a modal μ-calculus of actio...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
The work reported here steams from the need of a more practical interpretation of the deontic logic....
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
In the paper we discuss different intuitions about the properties of obligatory actions in the frame...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
Sequent calculi for normal and non-normal deontic logics are introduced. For these calculi we prove ...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
Normative fragment of natural language make up sentences that express acts and describe norms. In th...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose ...