Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics.
Takahiro SawasakiKatsuhiko SanoPublished in: J. Log. Comput. (2022)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- inference rules
- first order logic
- sequent calculi
- proof theoretic
- linear logic
- decision procedures
- temporal logic
- propositional logic
- nonmonotonic logics
- intuitionistic logic
- classical logic
- fixed point
- linear time temporal logic
- conditional logic
- horn clauses
- situation calculus
- wide class
- default logic
- natural deduction
- proof theory
- proof search
- expressive power
- sufficient conditions
- pairwise
- logical framework
- belief revision