This article is cited in 9 papers

Undecidability of the Lambek calculus with subexponential and bracket modalities

Max Kanovich^a, Stepan Kuznetsov^ba, Andre Scedrov<sup>c

a</sup> National Research University Higher School of Economics, Moscow, Russian Federation
^b Steklov Mathematical Institute, RAS, Moscow, Russian Federation
^c University of Pennsylvania, Philadelphia, USA

Language: English

DOI: 10.1007/978-3-662-55751-8_26

Bibliographic databases:

• 
• 
•