We define a deontic logic of regular action as a characterization within a modal µ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal µ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
Abstract. We consider an extension of modal logic with an operator for constructing inflationary fix...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
We define a deontic logic of regular action as a characterization within a modal μ-calculus of actio...
This paper introduces deontic logic of regular actions as a fragment of the modal calculus Semantic...
This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semant...
The work reported here steams from the need of a more practical interpretation of the deontic logic....
A new characterization of the deontic operators of permission and prohibition is introduced based on...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
Abstract. We consider an extension of modal logic with an operator for constructing inflationary fix...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
We define a deontic logic of regular action as a characterization within a modal μ-calculus of actio...
This paper introduces deontic logic of regular actions as a fragment of the modal calculus Semantic...
This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semant...
The work reported here steams from the need of a more practical interpretation of the deontic logic....
A new characterization of the deontic operators of permission and prohibition is introduced based on...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
Abstract. We consider an extension of modal logic with an operator for constructing inflationary fix...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
Add to ORKG