Modal Matters for Interpretability Logics.
Evan GorisJoost J. JoostenPublished in: Log. J. IGPL (2008)
Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- expressive power
- modal operators
- default logic
- conditional logic
- classical logic
- propositional variables
- prediction accuracy
- kripke models
- situation calculus
- rule base
- tableau calculus
- nonmonotonic reasoning
- model checking
- programming language
- knowledge representation
- social networks
- coalition logic
- genetic algorithm