AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems r...
This paper presents a formalization of refraining from actions and a deontic logic based on a proces...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We present a dynamic deontic logic for specifying and reasoning about complex con-tracts. The concep...
AbstractWe present a dynamic deontic logic for specifying and reasoning about complex contracts. The...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
AbstractExtending the idiom of dynamic logic we outline a deontic logic in which deontic operators o...
The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems r...
This paper presents a formalization of refraining from actions and a deontic logic based on a proces...
The aim of the paper is to point out the modelling choices that lead to different systems of deontic...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concept...
AbstractThis paper begins the development of new types of deontic operators, particularly ones whose...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We present a dynamic deontic logic for specifying and reasoning about complex con-tracts. The concep...
AbstractWe present a dynamic deontic logic for specifying and reasoning about complex contracts. The...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
In this paper a retrospective is given on the development of deontic dynamic logic. It first reviews...
DOI
Add to ORKG