The following publications are possibly variants of this publication:
- The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket ModalitiesMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. jolli, 30(1):31-88, 2021. [doi]
- Undecidability of the Lambek Calculus with Subexponential and Bracket ModalitiesMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. fct 2017: 326-340 [doi]
- Bracket Induction for Lambek Calculus with Bracket ModalitiesGlyn Morrill, Stepan Kuznetsov, Max I. Kanovich, Andre Scedrov. fg 2018: 84-101 [doi]
- Undecidability of the Lambek Calculus with a Relevant ModalityMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. fg 2016: 240-256 [doi]
- The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years LaterMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. wollic 2019: 356-372 [doi]
- L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative UnitMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. wollic 2019: 373-391 [doi]
- A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded OrderMax I. Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov. RTA 2017: [doi]