Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- propositional calculus
- epistemic logic
- knowledge representation formalisms
- computational properties
- knowledge base
- sequent calculi
- nonmonotonic logics
- proof theoretic
- knowledge representation
- default reasoning
- higher order logic
- modal operators
- conditional logic
- expressive power
- inference rules
- logic programming
- intuitionistic logic
- truth values
- proof procedures
- order sorted
- description logics
- logic based argumentation
- automated reasoning
- database
- valued semantics
- horn logic
- terminological knowledge
- probabilistic knowledge
- predicate logic
- set theory
- temporal relations
- multi valued
- combining multiple
- situation calculus
- temporal logic
- natural language
- data sets