Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Advances in Modal Logic
сборник
Год издания:
2018
Серия:
Advances in Modal Logic
Том:
12
Место издания:
College Publications London
ISBN:
978-1-84890-255-8
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
2018
*-continuity vs. induction: divide and conquer
Kuznetsov S.L.
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12
2018
A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
Rybakov Mikhail
,
Shkatov Dmitry
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 531-539
2018
Interpolation for intermediate logics via hyper- and linear nested sequents
Kuznets Roman
, Lellmann Björn
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 473-492
2018
Kripke completeness of strictly positive modal logics over meet semi-lattices with operators
Kikot Stanislav
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 9-9
2018
On Kripke completeness of some modal predicate logics with the density axiom
Shehtman V.
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 559-576
2018
On strictly positive modal logics with S4.3 frames
Kikot Stanislav
,
Kurucz Agi
,
Wolter Frank
,
Zakharyaschev Michael
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 427-446
2018
One-generated WS5-algebras
Citkin Alex
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 143-158
2018
Remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: A simpler Kripke complete logic that is not strongly complete
Skvortsov Dmitrij
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 577-590
2018
Truth-preserving operations on sums of Kripke frames
Shapirovsky Ilya
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 541-558