Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- modal operators
- dynamic logic
- transition systems
- temporal logic
- inference rules
- logic programming
- automated reasoning
- logical framework
- defeasible logic
- epistemic logic
- sound and complete axiomatization
- databases
- probability theory
- situation calculus
- social networks
- search engine