Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- propositional calculus
- epistemic logic
- multi valued
- logic programming
- computational properties
- intuitionistic logic
- expressive power
- proof theoretic
- knowledge representation formalisms
- conditional logic
- nonmonotonic logics
- truth values
- higher order logic
- decision procedures
- inference rules
- coalition logic
- horn logic
- order sorted
- defeasible logic
- logic based argumentation