Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle

Yuta Sato

We prove the uniform Lyndon interpolation property (ULIP) of some extensions of the pure logic of necessitation $\mathbf{N}$. For any $m,n\in \mathbb{N}$, $\mathbf{N}^+\mathbf{A}…