Towards metalogical systematisation of deontic action logics based on Boolean algebra

Authors:
Robert Trypuz;Piotr Kulicki
Affiliations:
John Paul II Catholic University of Lublin, Lublin, Poland;John Paul II Catholic University of Lublin, Lublin, Poland
Venue:
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Year:
2010

Citing 3
Cited 1

A Tableaux System for Deontic Action Logic

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Permissions and obligations

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Don't ever do that! long-term duties in PDeL

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

A deontic action logic with sequential composition of actions

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.