Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kanovich, Max
Kuznetsov, Stepan
Nigam, Vivek
and
Scedrov, Andre
2018.
Automated Reasoning.
Vol. 10900,
Issue. ,
p.
228.
Kanovich, Max
Kuznetsov, Stepan
and
Scedrov, Andre
2019.
Logic, Language, Information, and Computation.
Vol. 11541,
Issue. ,
p.
356.
Kanovich, Max
Kuznetsov, Stepan
and
Scedrov, Andre
2019.
Formal Grammar.
Vol. 11668,
Issue. ,
p.
67.
Kanovich, Max
Kuznetsov, Stepan
and
Scedrov, Andre
2019.
Logic, Language, Information, and Computation.
Vol. 11541,
Issue. ,
p.
373.
Kuznetsov, Stepan
2019.
The Logic of Action Lattices is Undecidable.
p.
1.
Kuznetsov, Stepan L.
2020.
Logic, Language, and Security.
Vol. 12300,
Issue. ,
p.
3.
Olarte, Carlos
Pimentel, Elaine
and
Xavier, Bruno
2020.
A Fresh View of Linear Logic as a Logical Framework.
Electronic Notes in Theoretical Computer Science,
Vol. 351,
Issue. ,
p.
143.
Kanovich, Max
Kuznetsov, Stepan
Nigam, Vivek
and
Scedrov, Andre
2020.
Automated Reasoning.
Vol. 12166,
Issue. ,
p.
500.
Kanovich, Max
Kuznetsov, Stepan
and
Scedrov, Andre
2021.
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
Journal of Logic, Language and Information,
Vol. 30,
Issue. 1,
p.
31.
Kuznetsov, Stepan L.
2021.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 12842,
Issue. ,
p.
317.
Dudakov, S. M.
Karlov, B. N.
Kuznetsov, S. L.
and
Fofanova, E. M.
2021.
Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars.
Algebra and Logic,
Vol. 60,
Issue. 5,
p.
308.
Kanovich, Max I.
Kuznetsov, Stepan G.
Kuznetsov, Stepan L.
and
Scedrov, Andre
2022.
Natural Language Processing in Artificial Intelligence — NLPinAI 2021.
Vol. 999,
Issue. ,
p.
1.
Blaisdell, Eben
Kanovich, Max
Kuznetsov, Stepan L.
Pimentel, Elaine
and
Scedrov, Andre
2022.
Automated Reasoning.
Vol. 13385,
Issue. ,
p.
449.
MILLER, DALE
2022.
A Survey of the Proof-Theoretic Foundations of Logic Programming.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 6,
p.
859.
Kuznetsov, Stepan L.
and
Speranski, Stanislav O.
2022.
Infinitary action logic with exponentiation.
Annals of Pure and Applied Logic,
Vol. 173,
Issue. 2,
p.
103057.
Valinkin, M. V.
2022.
Versions of a Local Contraction Subexponential in the Lambek Calculus.
Algebra and Logic,
Vol. 61,
Issue. 4,
p.
271.
Xavier, Bruno
Olarte, Carlos
and
Pimentel, Elaine
2022.
A linear logic framework for multimodal logics.
Mathematical Structures in Computer Science,
Vol. 32,
Issue. 9,
p.
1176.
Rogozin, Daniel
2023.
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic.
Electronic Proceedings in Theoretical Computer Science,
Vol. 381,
Issue. ,
p.
60.
Kuznetsov, Stepan L.
and
Speranski, Stanislav O.
2023.
Infinitary Action Logic with Multiplexing.
Studia Logica,
Vol. 111,
Issue. 2,
p.
251.
Kuznetsov, Stepan L.
2023.
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021).
Vol. 1081,
Issue. ,
p.
1.