Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- epistemic logic
- propositional calculus
- nonmonotonic logics
- intuitionistic logic
- conditional logic
- proof theoretic
- coalition logic
- computational properties
- higher order logic
- expressive power
- proof procedures
- horn logic
- truth values
- order sorted
- default reasoning
- inference rules
- sequent calculi
- logical framework
- knowledge representation formalisms
- modal operators
- set theory
- decision procedures
- logic programming
- model checking
- logic based argumentation
- valued logic
- autoepistemic logic
- predicate logic
- tableau calculus
- dynamic logic
- linear logic
- database
- nonmonotonic inference
- automated reasoning