Keyphrases
- propositional calculus
- modal logic
- nonmonotonic logics
- decision procedures
- inference rules
- temporal logic
- machine translation
- epistemic logic
- kripke models
- conditional logic
- classical logic
- default logic
- real time
- situation calculus
- expressive power
- information retrieval systems
- case study
- modal operators
- real world
- propositional logic
- query translation
- nonmonotonic reasoning
- database systems
- dynamic logic
- propositional variables
- social networks