Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics

DOI10.1007/978-3-030-88853-4_18MaRDI QIDQ6407474arXivFDO

Authors Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Publication date 10 August 2022

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-030-88853-4_18

Mathematics Subject Classification ID

Logic in computer science (03B70)

arXiv classification

cs.LOmath.LO

Abstract: In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal and conditional logics is introduced and applied to show that the logics $mathsfE$, $mathsfM$, $mathsfEN$, $mathsfMN$, $mathsfMC$, $mathsfK$, and their conditional versions, $mathsfCE$, $mathsfCM$, $mathsfCEN$, $mathsfCMN$, $mathsfCMC$, $mathsfCK$, in addition to $mathsfCKID$ have that property. In particular, it implies that these logics have uniform interpolation. Although for some of them the latter is known, the fact that they have uniform Lyndon interpolation is new. Also, the proof-theoretic proofs of these facts are new, as well as the constructive way to explicitly compute the interpolants that they provide. On the negative side, it is shown that the logics $mathsfCKCEM$ and $mathsfCKCEMID$ enjoy uniform interpolation but not uniform Lyndon interpolation. Moreover, it is proved that the non-normal modal logics $mathsfEC$ and $mathsfECN$ and their conditional versions, $mathsfCEC$ and $mathsfCECN$, do not have Craig interpolation, and whence no uniform (Lyndon) interpolation.

This page was built for publication: Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics

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