Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 2023, том 111, страницы 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

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

	Поиск публикаций
	Поиск ссылок

	RSS
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

Studia Logica, 2023, том 111, страницы 251–280
DOI: https://doi.org/10.1007/s11225-022-10021-6 (Mi stlog4)

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

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

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

Финансовая поддержка	Номер гранта
Российский научный фонд	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/.

Поступила в редакцию: 24.02.2022
Исправленный вариант: 11.07.2022
Принята в печать: 28.09.2022

Реферативные базы данных:

Тип публикации: Статья

Язык публикации: английский

Образцы ссылок на эту страницу:

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

Доклады по теме:

Эта публикация цитируется в следующих 3 статьяx:

С. Л. Кузнецов, “Алгоритмическая сложность теорий коммутативных алгебр Клини”, Изв. РАН. Сер. матем., 88:2 (2024), 44–79 ; 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
Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577 ; 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

Статистика просмотров:
Страница аннотации:	173

Обратная связь: