Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

DOI10.1007/978-3-319-48758-8_21zbMath1485.03091arXiv1601.05656OpenAlexW2963340765MaRDI QIDQ2835880

Roman Kuznets

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

modal logicCraig interpolationLyndon interpolationlabelled sequentsGeach formulas

Mathematics Subject Classification ID

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

Related Items (3)

Interpolation Method for Multicomponent Sequent Calculi ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Uniform Lyndon interpolation property in propositional modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal interpolation via nested sequents
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Multi-dimensional modal logic
• Partition-based logical reasoning for first-order and propositional theories
• GEOMETRISATION OF FIRST-ORDER LOGIC
• Beth Definability in Expressive Description Logics
• Craig Interpolation in Displayable Logics
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Proof Analysis
• Uniform Interpolation by Resolution in Modal Logic
• The Logic of Exact Covers: Completeness and Uniform Interpolation
• Interpolation Method for Multicomponent Sequent Calculi
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi