"Minimal Model Semantics for Nonmonotonic Modal Logics"

Grigori Schwarz (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics