Keyphrases
- modal logic
- inference rules
- truth values
- classical logic
- sequent calculus
- logical framework
- dynamic logic
- temporal logic
- decision procedures
- epistemic logic
- theorem prover
- nonmonotonic logics
- default logic
- probabilistic logic
- situation calculus
- probability theory
- conditional logic
- theorem proving
- model theoretic
- modal operators
- machine learning
- relational databases
- abductive reasoning
- prime implicates