Modal interpolation via nested sequents

DOI10.1016/J.APAL.2014.11.002MaRDI QIDQ487689zbMATH OpenOpenAlexFDO

Authors Melvin Fitting, Roman Kuznets

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)

Recommendations

• Craig interpolation via hypersequents
• Interpolation method for multicomponent sequent calculi
• Multicomponent proof-theoretic method for proving interpolation properties
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Proving Craig and Lyndon interpolation using labelled sequent calculi

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• Cut elimination in nested sequents for intuitionistic modal logics
• Cut-elimination and proof search for bi-intuitionistic tense logic
• Deep sequent systems for modal logic
• Modal logic for philosophers
• Nested sequents for intuitionistic logics
• Prefixed tableaus and nested sequents
• Realization for justification logics via nested sequents: modularity through embedding
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• Tableau methods of proof for modal logics
• The modal logic of provability. The sequential approach

Cited in

(14)

• Through an inference rule, darkly
• Nested sequents for intermediate logics: the case of Gödel-Dummett logics
• Focused and Synthetic Nested Sequents
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• Nested sequents for intuitionistic modal logics via structural refinement
• Uniform interpolation via nested sequents
• Interpolation in extensions of first-order logic
• Multicomponent proof-theoretic method for proving interpolation properties
• Interpolation method for multicomponent sequent calculi
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Craig interpolation via hypersequents
• Realization theorems for justification logics: full modularity
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
• Proving Craig and Lyndon interpolation using labelled sequent calculi

This page was built for publication: Modal interpolation via nested sequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487689)