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]
No references recorded for this publication.
No citations of this publication recorded.