Undecidability of the Lambek Calculus with a Relevant Modality.

Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov

Browse the full FG paper archive.