Uniform Lyndon interpolation for basic non-normal modal logics

DOI10.1007/978-3-030-88853-4_18OpenAlexW3203383086MaRDI QIDQ2148800

Rosalie Iemhoff, Amirhossein Akbar Tabatabai, Raheleh Jalali

Publication date: 24 June 2022

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

zbMATH Keywords

Craig interpolationuniform interpolationuniform Lyndon interpolationnon-normal modal logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Uniform Lyndon interpolation property in propositional modal logics
• Uniform interpolation and propositional quantifiers in modal logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Uniform interpolation and sequent calculi in modal logic
• Undefinability of propositional quantifiers in the modal system S4
• Uniform interpolation and the existence of sequent calculi
• Neighborhood semantics for modal logic
• Interpolation properties for provability logics GL and GLP
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Uniform Interpolation in Coalgebraic Modal Logic.
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• The Logic of Exact Covers: Completeness and Uniform Interpolation

This page was built for publication: Uniform Lyndon interpolation for basic non-normal modal logics