Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

On deontic action logics based on Boolean algebraRobert Trypuz, Piotr Kulicki. logcom, 25(5):1241-1260, 2015. [doi]

A Deontic Logic of Actions and StatesRobert Trypuz, Piotr Kulicki. deon 2014: 258-272 [doi]

runs on WebDSL