Uniform Lyndon interpolation for basic non-normal modal logics
type: Item
instance of: scholarly article
title: Uniform Lyndon interpolation for basic non-normal modal logics
DOI: 10.1007/978-3-030-88853-4_18
author: Amirhossein Akbar Tabatabai
author: Rosalie Iemhoff
author: Raheleh Jalali
publication date: 2022-06-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/2208.05202
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7547747
zbMATH Keywords: non-normal modal logics
zbMATH Keywords: uniform interpolation
zbMATH Keywords: uniform Lyndon interpolation
zbMATH Keywords: Craig interpolation
MaRDI profile type: Publication
OpenAlex ID: W3203383086
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Q3867808
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
cites work: Uniform interpolation and sequent calculi in modal logic
cites work: Uniform interpolation and the existence of sequent calculi
cites work: Uniform Lyndon interpolation property in propositional modal logics
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
cites work: Neighborhood semantics for modal logic
cites work: The Logic of Exact Covers: Completeness and Uniform Interpolation
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Uniform interpolation for monotone modal logic
cites work: Uniform Interpolation in Coalgebraic Modal Logic.
cites work: Interpolation properties for provability logics GL and GLP
cites work: Q4694581
cites work: Q4499084
cites work: Q4893140
Recommended article: Uniform Lyndon interpolation property in propositional modal logics
Recommended article: Q5884937
Recommended article: Q3331199
Recommended article: Uniform interpolation for monotone modal logic
Recommended article: Uniform interpolation and sequent calculi in modal logic
Recommended article: Uniform interpolation and propositional quantifiers in modal logics
Recommended article: Lyndon Interpolation for Modal $$\mu $$-Calculus
Recommended article: Q3784045
Recommended article: Uniform Interpolation in Coalgebraic Modal Logic.
Recommended article: Uniform Interpolation by Resolution in Modal Logic
description: scientific article; zbMATH DE number 7547747