Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

von Tabatabai, Amirhossein Akbar
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation

von Giessen, Iris van der
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Uniform Interpolation via Nested Sequents

von Giessen, Iris van der
Veröffentlicht in Logic, Language, Information, and Computation (2021)