AbstractIn nowadays applications of temporal deontic logic to the verification of security policies, an issue arises concerning the temporal inheritance of future directed obligations that have net yet been met. We investigate decision procedures for temporal deontic logics that account for this particular interaction between time and obligation
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
This article proposes a systematic application of recent developments in the logic of preference to ...
This paper presents a formalization of refraining from actions and a deontic logic based on a proces...
AbstractIn nowadays applications of temporal deontic logic to the verification of security policies,...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
Recent research has advocated the use of deontic logics in requirements specification. A form of deo...
This work addresses several topics in the semantics of deontic logic. In Chapter One I introduce a s...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
papers/notes/magnusson-and-doherty/ Temporal Action Logic is a well established logical formal-ism f...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
This article proposes a systematic application of recent developments in the logic of preference to ...
This paper presents a formalization of refraining from actions and a deontic logic based on a proces...
AbstractIn nowadays applications of temporal deontic logic to the verification of security policies,...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
Recent research has advocated the use of deontic logics in requirements specification. A form of deo...
This work addresses several topics in the semantics of deontic logic. In Chapter One I introduce a s...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
We propose a first-order model as a possible formal ba-sis for normative agent systems (NAS). The mo...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
papers/notes/magnusson-and-doherty/ Temporal Action Logic is a well established logical formal-ism f...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
This article proposes a systematic application of recent developments in the logic of preference to ...
This paper presents a formalization of refraining from actions and a deontic logic based on a proces...
DOI
Add to ORKG