A modal logic for subjective default rea
✍
Shai Ben-David; Rachel Ben-Eliyahu-Zohary
📂
Article
📅
2000
🏛
Elsevier Science
🌐
English
⚖ 168 KB
In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If α, then normally β". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese