Review of Symbolic Logic - журнал | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Review of Symbolic Logicжурнал

Индексирование: JCR (1 января 2009 г.-), Scopus (1 января 2011 г.-), Белый список (20 октября 2022 г.-)

Период активности журнала: не указан

Добавил в систему: Артемов Сергей Николаевич
ISSN: 1755-0203

Статьи, опубликованные в журнале

- 2022 The nonarithmeticity of the predicate logic of strictly primitive recursive realizability
- Plisko Valery
- в журнале Review of Symbolic Logic, том 15, № 3, с. 693-721 DOI
- 2020 Complexity of the infinitary Lambek calculus with Kleene star
- Kuznetsov Stepan
- в журнале Review of Symbolic Logic, том 14, № 4, с. 946-972 DOI
- 2017 Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox
- Petrukhin Yaroslav, Shangin Vasily
- в журнале Review of Symbolic Logic, с. 1-26 DOI
- 2016 Intuitionistic epistemic logic
- Artemov Sergei, Protopopescu Tudor
- в журнале Review of Symbolic Logic, том 9, № 2, с. 266-298 DOI
- 2008 The logic of justification
- Artemov Sergei
- в журнале Review of Symbolic Logic, том 1, № 4, с. 477-513 DOI