Modal interpolation via nested sequents
From MaRDI portal
Publication:487689
DOI10.1016/J.APAL.2014.11.002zbMATH Open1369.03103OpenAlexW2171052763MaRDI QIDQ487689FDOQ487689
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
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
Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)
Cites Work
- Modal logic for philosophers
- The modal logic of provability. The sequential approach
- Prefixed tableaus and nested sequents
- Realization for justification logics via nested sequents: modularity through embedding
- Deep sequent systems for modal logic
- Tableau methods of proof for modal logics
- Title not available (Why is that?)
- Single step tableaux for modal logics. Computational properties, complexity and methodology
- Nested sequents for intuitionistic logics
- Cut-elimination and proof search for bi-intuitionistic tense logic
- Title not available (Why is that?)
- Cut elimination in nested sequents for intuitionistic modal logics
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
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Realization theorems for justification logics: full modularity
- 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)
