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

DOI10.1007/978-3-030-88853-4_18arXiv2208.05202MaRDI QIDQ6407474

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Publication date: 10 August 2022

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics