Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Studia Logica
журнал
Индексирование: ERIH PLUS (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), JCR (1 января 2012 г.-31 декабря 2021 г.), Scopus (1 января 1970 г.-), Science Citation Index Expanded (1 января 1970 г.-)
Период активности журнала: не указан
Издательство:
Springer Nature
Местоположение издательства:
Switzerland
ISSN:
0039-3215 (Print)
Статьи, опубликованные в журнале
Страницы: << предыдущая
1
2
следующая >>
2023
A Simple Way to Overcome Hyperconnexivity
Belikov Alex
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
DOI
2023
Axiomatizing a Minimal Discussive Logic
Grigoriev Oleg
,
Nasieniewski Marek
,
Mruczek-Nasieniewska Krystyna
,
Petrukhin Yaroslav
,
Shangin Vasily
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 111, № 5, с. 855-895
DOI
2023
Infinitary Action Logic with Multiplexing
Kuznetsov Stepan L.
,
Speranski Stanislav O.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 111, № 2, с. 251-280
DOI
2020
Non-distributive Relatives of ETL and NFL
Kozhemiachenko Daniil
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
DOI
2020
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Pietruszczak Andrzej
,
Klonowski Mateusz
,
Petrukhin Yaroslav
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 108, № 3, с. 451-476
DOI
2019
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Rybakov M.
,
Shkatov D.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 107, № 4, с. 695-717
DOI
2017
Disentangling FDE-Based Paraconsistent Modal Logics
Odintsov Sergei P.
,
Wansing Heinrich
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 105, № 6, с. 1221-1254
DOI
2017
First-Degree Entailment and its Relatives
Shramko Ya
,
Zaitsev D.
,
Belikov A.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 105, № 6, с. 1291-1347
DOI
2016
Franco Montagna’s work on provability logic and many-valued logic
Beklemishev Lev
,
Flaminio Tommaso
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 104, № 1, с. 1-46
DOI
2015
The Logic of Generalized Truth Values and the Logic of Bilattices
Odintsov Sergei P.
,
Wansing Heinrich
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 103, № 1, с. 91-112
DOI
2014
On provability logics with linearly ordered modalities
Beklemishev L.D.
,
Fernández-Duque D.
,
Joosten J.J.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 102, № 3, с. 541-566
DOI
2014
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
Zolin Evgeny
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 102, № 5, с. 1021-1039
DOI
2013
Bi-facial Truth: a Case for Generalized Truth Values
Zaitsev Dmitry
,
Shramko Yaroslav
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 101, № 6, с. 1299-1318
DOI
2013
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format
Odintsov Sergei P.
, Speranski Stanislav O.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 101, № 6, с. 1237-1262
DOI
2012
The ontology of justifications in the logical setting
Artemov Sergei
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 100, № 1-2, с. 17-30
DOI
2011
Paraconsistency in Categories: Case of Relevant Logic
Васюков В.Л.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 98, № 3, с. 429-443
2011
Paraconsistency in Categories: Case of Relevant Logic
Vasyukov V.L.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 98, № 3, с. 429-443
2009
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4
Zaitsev D.V.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 92, № 2, с. 265-280
DOI
2005
On modal logics of partial recursive functions
Naumov Pavel
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 81, № 3, с. 295-309
DOI
2002
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
Gabbay Dov M.
,
Shehtman Valentin
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 72, № 2, с. 157-183
DOI
2000
The classification of propositional calculi (Finite Boolean lattices for implicational logics)
Karpenko A.S.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 66, с. 253-271
2000
V.A. Smirnov (1931–1996): Work and Life
Karpenko A.S.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 66, № 2, с. 201-204
1995
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
Chagrov Alexander
,
Chagrova Lilia
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 55, № 3, с. 421-448
DOI
1995
Explicit algebraic models for constructive and classical theories with non-standard elements
Dragalin Albert G.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 55, № 1, с. 33-61
1992
Modal companions of intermediate propositional logics
Chagrov Alexander
,
Zakharyaschev Michael
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 51, № 1, с. 49-82
DOI
Страницы: << предыдущая
1
2
следующая >>