"On deontic action logics based on Boolean algebra."

Robert Trypuz, Piotr Kulicki (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics