Add to ORKGAbstract: In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic l...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
none3siInspired by Kelsen’s view that norms establish causal-like connections between facts and sanc...
In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deont...
Permissions are special case of deontic effects and play important role compliance. Essentially they...
Regulations, through the use of obligations and permissions, are widely used in modern society to de...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic l...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have t...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Starting from a deontic specification modelling the behaviour of a system, we show how it is possibl...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
none3siInspired by Kelsen’s view that norms establish causal-like connections between facts and sanc...
In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deont...
Permissions are special case of deontic effects and play important role compliance. Essentially they...
Regulations, through the use of obligations and permissions, are widely used in modern society to de...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic l...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...