"A modal logic for reasoning on consistency and completeness of regulations."

Christophe Garion, Stéphanie Roussel, Laurence Cholvy (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics