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

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 𝖤, 𝖬, 𝖤𝖭, 𝖬𝖭, 𝖬𝖢, 𝖪, and their conditional versions, 𝖢𝖤, 𝖢𝖬, 𝖢𝖤𝖭, 𝖢𝖬𝖭, 𝖢𝖬𝖢, 𝖢𝖪, in addition to 𝖢𝖪𝖨𝖣 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 𝖢𝖪𝖢𝖤𝖬 and 𝖢𝖪𝖢𝖤𝖬𝖨𝖣 enjoy uniform interpolation but not uniform Lyndon interpolation. Moreover, it is proved that the non-normal modal logics 𝖤𝖢 and 𝖤𝖢𝖭 and their conditional versions, 𝖢𝖤𝖢 and 𝖢𝖤𝖢𝖭, do not have Craig interpolation, and whence no uniform (Lyndon) interpolation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/23/2021

Uniform interpolation via nested sequents and hypersequents

A modular proof-theoretic framework was recently developed to prove Crai...
research
07/21/2023

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation

We introduce a Gentzen-style framework, called layered sequent calculi, ...
research
08/19/2018

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation

In [7] and [8], Iemhoff introduced a connection between the existence of...
research
04/14/2011

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics

We study uniform interpolation and forgetting in the description logic A...
research
04/23/2020

On the proof complexity of logics of bounded branching

We investigate the proof complexity of extended Frege (EF) systems for b...
research
03/10/2000

A tableau methodology for deontic conditional logics

In this paper we present a theorem proving methodology for a restricted ...
research
07/17/2023

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL^+

We study the problem of P-interpolation, where P is a set of binary pred...

Please sign up or login with your details

Forgot password? Click here to reset