Trypuz and Kulicki: On deontic action logics based on Boolean algebra

Professor Dr. Robert Trypuz and Dr. Piotr Kulicki, of Catholic University of Lublin, have published On deontic action logics based on Boolean algebra, forthcoming in Journal of Logic and Computation.

Here is the 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.

This entry was posted in Articles and papers and tagged , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s