"An Exact Truthmaker Semantics for Permission and Obligation."

Albert J. J. Anglberger, Federico L. G. Faroldi, Johannes Korbmacher (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics