Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

Robert Trypuz, Piotr Kulicki. Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. In Guido Governatori, Giovanni Sartor, editors, Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings. Volume 6181 of Lecture Notes in Computer Science, pages 132-147, Springer, 2010. [doi]

Authors

Robert Trypuz

This author has not been identified. Look up 'Robert Trypuz' in Google

Piotr Kulicki

This author has not been identified. Look up 'Piotr Kulicki' in Google