Keyphrases
- modal logic
- sequent calculi
- decision procedures
- truth values
- temporal logic
- conditional logic
- inference rules
- epistemic logic
- nonmonotonic logics
- reasoning problems
- classical logic
- cut elimination
- default logic
- expressive power
- modal operators
- database
- nonmonotonic reasoning
- constraint satisfaction problems
- case study
- genetic algorithm
- vague concepts
- data mining