On deontic action logics based on Boolean algebra

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 2015-10, Vol.25 (5), p.1241-1260
Main Authors: Trypuz, Robert, Kulicki, Piotr
Format: Article
Language:English
Subjects:
Boolean algebra
Computation
Licenses
Logic
Mathematical models
Polishes
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/ext057