On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics.
Costas D. KoutrasYorgos ZikosPublished in: Fundam. Informaticae (2009)
Keyphrases
- modal logic
- epistemic logic
- modal operators
- kripke models
- temporal logic
- inference rules
- decision procedures
- dynamic epistemic logic
- nonmonotonic logics
- classical logic
- commonsense reasoning
- nonmonotonic reasoning
- computation tree logic
- default logic
- situation calculus
- data mining
- conditional logic
- dynamic logic
- autoepistemic logic
- counter intuitive
- expressive power
- model checking
- case study
- information systems