Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- decision procedures
- classical logic
- proof procedure
- logic programming
- sound and complete axiomatization
- epistemic logic
- functional dependencies
- knowledge representation
- dynamic logic
- classical first order logic
- multi valued
- theorem proving
- nonmonotonic logics
- expressive power
- cut elimination
- case study
- machine learning