Keyphrases
- modal logic
- inference rules
- multi modal
- temporal logic
- decision procedures
- medical images
- epistemic logic
- truth values
- classical logic
- conditional logic
- situation calculus
- default logic
- sequent calculus
- autoepistemic logic
- nonmonotonic logics
- dynamic logic
- prime implicates
- relational databases
- data model
- artificial intelligence