Stepan L. Kuznetsov

Alexander Okhotin

CoRR, 2024

Syntactic Concept Lattice Models for Infinitary Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2024

2023

Commutative action logic.

[BibT_eX]

[DOI]

J. Log. Comput., August, 2023

Infinitary Action Logic with Multiplexing.

[BibT_eX]

[DOI]

Stanislav O. Speranski

Stud Logica, April, 2023

Relational Models for the Lambek Calculus with Intersection and Constants.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version).

[BibT_eX]

[DOI]

CoRR, 2023

On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Language models for some extensions of the Lambek calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Infinitary action logic with exponentiation.

[BibT_eX]

[DOI]

Stanislav O. Speranski

Ann. Pure Appl. Log., 2022

Non-associative, Non-commutative Multi-modal Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Action Logic is Undecidable.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

Complexity of the Infinitary Lambek Calculus with Kleene Star.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2021

Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Relational Models for the Lambek Calculus with Intersection and Unit.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Complexity of Commutative Infinitary Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Soft Subexponentials and Multiplexing.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2020

The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Subexponentials in non-commutative linear logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Craig's trick and a non-sequential system for the Lambek calculus and its fragments.

[BibT_eX]

[DOI]

Valentina Lugovaya

Anastasiia Ryzhova

Log. J. IGPL, 2019

L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2019

The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2019

The Logic of Action Lattices is Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Undecidability of a Newly Proposed Calculus for CatLog3.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar - 24th International Conference, 2019

2018

Bracket Induction for Lambek Calculus with Bracket Modalities.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar 2018 - 23rd International Conference, 2018

A Logical Framework with Commutative and Non-commutative Subexponentials.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

*-Continuity vs. Induction: Divide and Conquer.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

Eliminating the unit constant in the Lambek calculus with brackets.

[BibT_eX]

[DOI]

CoRR, 2017

The Lambek Calculus with Iteration: Two Variants.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Conjunctive Categorial Grammars.

[BibT_eX]

[DOI]

Alexander Okhotin

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Count-Invariance Including Exponentials.

[BibT_eX]

[DOI]

Glyn Morrill

Oriol Valentín

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017

2016

Undecidability of the Lambek calculus with subexponentials and bracket modalities.

[BibT_eX]

[DOI]

CoRR, 2016

On Lambek's Restriction in the Presence of Exponential Modalities.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Undecidability of the Lambek Calculus with a Relevant Modality.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2016

2014

L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.

[BibT_eX]

[DOI]

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar, 2013

2012

Lambek grammars with one division and one primitive type.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

L-Completeness of the Lambek Calculus with the Reversal Operation.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2012

2011

Lambek Grammars with the Unit.

[BibT_eX]

[DOI]