Bewijsth en Grondsl. vd Wisk LS Logica

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

2025 · Utrecht University Repository (Utrecht University)

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, E, M, EN, MN, MC, K, and their …