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.
Filed under: Articles and papers Tagged: Boolean algebra and deontic logic, Deontic action logic, Deontic logic, Journal of Logic and Computation, Legal logic, Modeling deontic logic, Modeling legal logic, Modeling legal obligation, Modeling obligation, Motor vehicle law information systems, Piotr Kulicki, Robert Trypuz, Traffic law information systems
via Legal Informatics Blog http://legalinformatics.wordpress.com/2013/12/28/trypuz-and-kulicki-on-deontic-action-logics-based-on-boolean-algebra/
Niciun comentariu:
Trimiteți un comentariu