Uniform interpolation via nested sequents

DOI10.1007/978-3-030-88853-4_21OpenAlexW3202514845MaRDI QIDQ2148805

Roman Kuznets, Raheleh Jalali, Iris van der Giessen

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal interpolation via nested sequents
• Uniform Lyndon interpolation property in propositional modal logics
• Deep sequent systems for modal logic
• Uniform interpolation and propositional quantifiers in modal logics
• An algebraic theory of normal forms
• Uniform interpolation and sequent calculi in modal logic
• Multicomponent proof-theoretic method for proving interpolation properties
• Undefinability of propositional quantifiers in the modal system S4
• Uniform interpolation and the existence of sequent calculi
• On some calculi of modal logic
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Proof Analysis
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• On an interpretation of second order quantification in first order intuitionistic propositional logic

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