Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Journal of Logic and Computation
журнал
Индексирование: ERIH PLUS (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), JCR (1 января 1970 г.-), Scopus (1 января 1970 г.-)
Период активности журнала: не указан
Другие названия журнала:
J. Logic Comput
,
J. Logic and Computation
Издательство:
Oxford University Press
Местоположение издательства:
United Kingdom
ISSN:
1465-363X, 0955-792X (Print)
Статьи, опубликованные в журнале
2023
Basic modal congruent and monotonic multilattice logics
Grigoriev Oleg
,
Petrukhin Yaroslav
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 33, № 6, с. 1379-1398
DOI
2023
Commutative action logic
Kuznetsov Stepan L.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 33, № 6, с. 1427-1462
DOI
2021
On sharp and single-conclusion justification models
Krupski Vladimir N.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 31, № 1, с. 152-167
DOI
2020
Complexity of finite-variable fragments of products with K
Rybakov M.
,
Shkatov D.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
DOI
2020
Cut elimination and complexity bounds for intuitionistic epistemic logic
Krupski Vladimir N.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 30, № 1, с. 281-294
DOI
2020
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
Kanovich Max
,
Kuznetsov Stepan
,
Scedrov Andre
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 30, № 1, с. 239-256
DOI
2020
Recursive enumerability and elementary frame definability in predicate modal logic
Rybakov M.
,
Shkatov D.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 30, № 2, с. 549-560
DOI
2017
Undecidability of the transitive graded modal logic with converse
Zolin Evgeny
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 27, № 5, с. 1399-1420
DOI
2016
Binding modalities
Artemov Sergei N.
,
Yavorskaya Tatiana
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 26, № 1, с. 451-461
DOI
2014
Propositional primal logic with disjunction
Beklemishev Lev
,
Gurevich Yuri
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 24, № 1, с. 257-282
DOI
2011
On two attempts of describing propositional realizability logic
Plisko V.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 21, с. 639-663
DOI
2007
Review of Classical Mathematical Logic: The Semantic Foundations of Logic, by Richard L. Epstein, With contributions by Lesław W .Szczerba
Plisko V.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 17, № 3, с. 609-609
2006
A Game Semantics for Grz
Mezhirov Ilya
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 16, № 5, с. 663-669
DOI
2006
Logic of proofs and labels with a complete set of operations
Yavorskaya Tatiana
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 16, № 5, с. 697-710
DOI
2006
Reference Constructions in the Single-conclusion Proof Logic
Krupski Vladimir N.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 16, № 5, с. 645-661
2005
A finitary treatment of the closed fragment of Japaridze’s provability logic
Beklemishev L.D.
,
Joosten J.J.
,
Vervoort M.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 15, № 4, с. 447-463
DOI
2005
Introducing justification into epistemic logic
Artemov S.
,
Nogina E.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 15, № 6, с. 1059-1073
DOI
2005
Modal Logics of Regions and Minkowski Spacetime
Shapirovsky Ilya
,
Shehtman Valentin
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 15, № 4, с. 559-574
DOI
2005
Negative operations on proofs and labels
Yavorskaya Tatiana
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 15, № 4, с. 517-537
DOI
1995
On the independent axiomatizability of modal and intermediate logics
Chagrov Alexander
,
Zakharyaschev Michael
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 5, № 3, с. 287-302
DOI