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

Craig interpolationmodal logicnested sequentstructural proof theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Structure of proofs (03F07)

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

• 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
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• 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

(18)

• Multicomponent proof-theoretic method for proving interpolation properties
• 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
• Focused and Synthetic Nested Sequents
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• Through an inference rule, darkly
• Interpolation for intermediate logics via injective nested sequents
• Realization theorems for justification logics: full modularity
• Craig interpolation via hypersequents
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Interpolation method for multicomponent sequent calculi
• Nested sequents for intermediate logics: the case of Gödel-Dummett logics
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
• Internal and external calculi: ordering the jungle without being lost in translations
• Uniform interpolation via nested sequents and hypersequents
• Nested sequents or tree-hypersequents -- a survey

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)