Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.

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

Browse the full FCT paper archive.