Modal interpolation via nested sequents

DOI10.1016/J.APAL.2014.11.002zbMath1369.03103OpenAlexW2171052763MaRDI QIDQ487689

Roman Kuznets, Melvin Fitting

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

zbMATH Keywords

modal logicCraig interpolationstructural proof theorynested sequent

Mathematics Subject Classification ID

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