Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 2023, Volume 111, Pages 251

Loading [MathJax]/jax/output/SVG/config.js

Studia Logica

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Studia Logica, 2023, Volume 111, Pages 251–280
DOI: https://doi.org/10.1007/s11225-022-10021-6 (Mi stlog4)

This article is cited in 3 scientific papers (total in 3 papers)

Infinitary Action Logic with Multiplexing

Stepan L. Kuznetsov, Stanislav O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina St., Moscow, Russia, 119991

Citations (3)

DOI: https://doi.org/10.1007/s11225-022-10021-6

Funding agency	Grant number
Russian Science Foundation	20-41-05002
This work was supported by the Russian Science Foundation under grant no. 20-41-05002; see https://rscf.ru/en/project/20-41-05002/.

Received: 24.02.2022
Revised: 11.07.2022
Accepted: 28.09.2022

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/stlog4

Related presentations:

This publication is cited in the following 3 articles:

S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26
T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	173