Interpolation for intermediate logics via injective nested sequents.
Roman KuznetsBjörn LellmannPublished in: J. Log. Comput. (2021)
Keyphrases
- sequent calculus
- linear logic
- inference rules
- modal logic
- expressive power
- image interpolation
- classical logic
- epistemic logic
- interpolation methods
- sequent calculi
- natural deduction
- linear interpolation
- fixed point
- hierarchical structure
- first order logic
- nonmonotonic logics
- logical framework
- logic programming
- general purpose
- proof theory
- propositional dynamic logic