Modal interpolation via nested sequents
From MaRDI portal
Publication:487689
DOI10.1016/J.APAL.2014.11.002zbMath1369.03103OpenAlexW2171052763MaRDI QIDQ487689
Publication date: 23 January 2015
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2014.11.002
Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)
Related Items (10)
Interpolation Method for Multicomponent Sequent Calculi ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Uniform interpolation via nested sequents ⋮ Interpolation in extensions of first-order logic ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Through an Inference Rule, Darkly ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Prefixed tableaus and nested sequents
- Realization for justification logics via nested sequents: modularity through embedding
- Deep sequent systems for modal logic
- The modal logic of provability. The sequential approach
- Single step tableaux for modal logics. Computational properties, complexity and methodology
- Nested sequents for intuitionistic logics
- Tableau methods of proof for modal logics
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
This page was built for publication: Modal interpolation via nested sequents
