?
Advances in Modal Logic
Vol. 11.
Лондон :
College Publications, 2016.
Научный редактор: Беклемишев Л. Д., S. Demri, A. Mate
Главы книги
Шехтман В. Б., Shapirovsky I., , in: Advances in Modal LogicVol. 11.: L.: College Publications, 2016. P. 520–534.
Добавлено: 20 сентября 2018 г.
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Рыбаков М. Н., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Добавлено: 21 июня 2025 г.
Кудинов А. В., Рыбаков М. Н., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Добавлено: 21 июня 2025 г.
[б.и.], 2024.
The book contains short papers presented at AiML 2024. ...
Добавлено: 15 августа 2024 г.
College Publications, 2024.
Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...
Добавлено: 14 августа 2024 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078
Добавлено: 3 ноября 2023 г.
Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595
Добавлено: 6 января 2023 г.
Рыбаков М. Н., Агаджанян И. А., / arXiv. Серия 2211.14571 "Logic". 2022.
Доказывается PSPACE-трудность константных фрагментов всех логик, лежащих между K и wGrz ...
Добавлено: 5 декабря 2022 г.
Рыбаков М. Н., Александров К. И., Шкатов Д. П., / ArXiv. Серия arXiv:2112.03833 "arXiv:2112.03833". 2021.
В работе показано, что любое произведение нормальных модальных пропозициональных логик, содержащее логику T в качестве сомножителя, погружается в свой фрагмент от одной переменной. Приведённое доказательство является более простой версией аналогичного доказательства, которое готовится к публикации, для произведений и полупроизведений, содержащих в качестве сомножителя логику KTB рефлексивно-симметричных шкал Крипке. ...
Добавлено: 10 декабря 2021 г.
Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498
Добавлено: 21 июля 2021 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Цыгуров А. С., Философия. Журнал Высшей школы экономики 2017 Т. 1 № 3 С. 170–174
В рецензии рассматриваются как содержательные, так и методологические инновации в кантоведении, предложенные Н. Стэнгом в его книге "Kant's Modal Metaphysics". Анализируется актуальность и обоснованность применения аппарата современной логики к исследованию кантовского наследия. ...
Добавлено: 19 ноября 2019 г.
Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.
Добавлено: 7 октября 2019 г.