Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

  • Robert Trypuz
  • Piotr Kulicki
Conference paper

DOI: 10.1007/978-3-642-14183-6_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6181)
Cite this paper as:
Trypuz R., Kulicki P. (2010) Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. In: Governatori G., Sartor G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science, vol 6181. Springer, Berlin, Heidelberg

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.

Keywords

Deontic action logic obligation Boolean algebra 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Robert Trypuz
    • 1
  • Piotr Kulicki
    • 1
  1. 1.John Paul II Catholic University of LublinLublinPoland

Personalised recommendations