Keyphrases
- modal logic
- classical logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- nonmonotonic logics
- situation calculus
- theorem prover
- interval valued
- linear logic
- default logic
- conditional logic
- natural deduction
- fuzzy set theory
- model checking
- logical framework
- autoepistemic logic
- real valued
- fuzzy information
- partial order
- case based reasoning