Add to ORKGWe 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...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
In the present article, we continue to explore the structure of actions in the line of our articles ...
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...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
AbstractIn this paper we define and study a propositional μ-calculus Lμ, which consists essentially ...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
In the present article, we continue to explore the structure of actions in the line of our articles ...
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...
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Lo...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems ...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
AbstractIn this paper we define and study a propositional μ-calculus Lμ, which consists essentially ...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were featur...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
In the present article, we continue to explore the structure of actions in the line of our articles ...