Primary research interest: substructural logic with application to linguistics.
Recent and forthcoming talks:
- Soft subexponentials and multiplexing (with M. Kanovich, V. Nigam, A. Scedrov), IJCAR 2020, June 2020.
- The 'long rule' in the Lambek calculus with iteration: undecidability without meets and joins, AiML 2020, August 2020.
- Complexity of commutative infinitary action logic, DaLí 2020, October 9–10, 2020.
- Фрагмент исчисления Ламбека с релевантной модальностью (с С.М. Дудаковым и Б.Н. Карловым), Мальцевские чтения 2020, 16–20 ноября 2020 г.
Selected papers: