Abstract
In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal logics is introduced and applied to show that the logics E, M, MC, EN, MN have that property. In particular, these logics have uniform interpolation. Although for some of them the latter is known, the fact
... read more