Keyphrases
- modal logic
- order sorted
- proof theory
- classical logic
- special case
- epistemic logic
- formal logic
- sequent calculi
- expressive power
- inference rules
- computational properties
- intuitionistic logic
- conditional logic
- propositional calculus
- proof theoretic
- predicate logic
- nonmonotonic logics
- multi valued
- closely related
- logic programming