Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Browse the full WoLLIC paper archive.