Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- epistemic logic
- propositional calculus
- nonmonotonic logics
- coalition logic
- computational properties
- intuitionistic logic
- proof theoretic
- expressive power
- order sorted
- higher order logic
- truth values
- conditional logic
- temporal logic
- set theory
- decision procedures
- logical framework
- default reasoning
- proof procedures
- inference rules
- logic programming
- predicate logic
- horn logic
- dynamic logic
- valued semantics
- artificial intelligence
- sequent calculi
- query language
- theorem proving
- cut elimination
- proof procedure
- modal operators
- neural network