Cut-Elimination for Quantified Conditional Logic.
Christoph BenzmüllerPublished in: J. Philos. Log. (2017)
Keyphrases
- conditional logic
- sequent calculus
- cut elimination
- modal logic
- sequent calculi
- inference rules
- default reasoning
- linear logic
- proof theoretic
- nonmonotonic reasoning
- wide class
- temporal logic
- belief revision
- natural deduction
- nonmonotonic inference
- proof theory
- nonmonotonic logics
- classical logic
- sufficient conditions
- sound and complete axiomatization
- linear time temporal logic
- knowledge representation and reasoning
- knowledge base
- default logic
- fixed point
- model checking
- defeasible logic
- incomplete information
- logic programming
- pairwise