Uniform Lyndon interpolation for intuitionistic monotone modal logic.

Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai

Browse the full AiML paper archive.