"Connecting Actions and States in Deontic Logic."

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