"A Deontic Logic of Actions and States."

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