Keyphrases
- conditional logic
- sequent calculi
- proof theory
- nonmonotonic logics
- propositional dynamic logic
- higher order logic
- modal logic
- valued semantics
- proof theoretic
- formal semantics
- epistemic logic
- expressive power
- reasoning problems
- logic programming
- proof procedures
- computational properties
- default reasoning
- default logic
- vague concepts
- inference rules
- autoepistemic logic
- valued logic
- data model
- operational semantics
- propositional logic
- temporal logic