Uniform lyndon interpolation for basic non-normal modal and conditional logics

In this paper, a proof-theoretic method to prove uniform Lyndon interpolation (ULIP) for non-normal modal and conditional logics is introduced and applied to show that the logics, $\textsf{E}$, $\textsf{M}$, $\textsf{EN}$, $\textsf{MN}$, $\textsf{MC}$, $\textsf{K}$, and their conditional versions, $...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2024-11
Hauptverfasser:	Akbar Tabatabai, Amirhossein, Iemhoff, Rosalie, Jalali, Raheleh
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!