On deontic action logics based on Boolean algebra

Abstract

The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra. Differences among the systems involve 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 these systems are unacceptable due to their non-intuitive interpretation or paradoxical consequences. As a solution we propose a minimal axiomatic characterization of obligation with an adequate class of models. This article also describes how deontic action logic can be used to answer the questions from the Polish driving license test.