Uniform interpolation via nested sequents

DOI10.1007/978-3-030-88853-4_21MaRDI QIDQ2148805zbMATH OpenOpenAlexFDO

Authors Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Publication date 24 June 2022

Full work available at URL https://arxiv.org/abs/2105.10930

zbMATH Keywords

modal logicnested sequentsuniform interpolation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Uniform interpolation and the existence of sequent calculi
• Uniform interpolation in substructural logics
• Uniform interpolation in provability logics
• Interpolation for intermediate logics via injective nested sequents
• Uniform interpolation and sequent calculi in modal logic
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Uniform interpolation for coalgebraic fixpoint logic
• Uniform interpolation in coalgebraic modal logic
• Interpolation method for multicomponent sequent calculi
• Interpolation for a sequent calculus of generalized quantifiers

Cites work

• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• An algebraic theory of normal forms
• Deep sequent systems for modal logic
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Modal interpolation via nested sequents
• Modal logic
• Multicomponent proof-theoretic method for proving interpolation properties
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On some calculi of modal logic
• Proof Analysis
• Tableau methods for modal and temporal logics
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Undefinability of propositional quantifiers in the modal system S4
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• Uniform Lyndon interpolation property in propositional modal logics
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi

Cited in

(3)

• Uniform interpolation and the existence of sequent calculi
• Saturation-based uniform interpolation for multi-modal logics
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation

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

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