"a modal logic for subjective default reasoning"

Shai Ben-David, Rachel Ben-Eliyahu (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics