27 citations · 69 across the 10 of their papers we have counts for
13 papers
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified usin…
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent…
Language Models for Some Extensions of the Lambek Calculus
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For…
Compliance in Real Time Multiset Rewriting Models
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
The notion of compliance in Multiset Rewriting Models (MSR) has been introduced for untimed models and for models with discrete time. In this paper we revisit the notion of complia…