Local tabularity without transitivity

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 г.

Variations on the Kripke trick

Рыбаков М. Н., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48

Добавлено: 2 декабря 2023 г.

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Рыбаков М. Н., 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 г.

On Strictly Positive Fragments of Modal Logics with Confluence

Kikot S., Кудинов А. В., Mathematics 2022 Vol. 10 No. 19 Article 3701

Добавлено: 10 октября 2022 г.

Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter

Рыбаков М. Н., Shkatov D., Studia Logica 2021

Добавлено: 24 января 2022 г.

Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic

Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498

Добавлено: 21 июля 2021 г.

Modal logics with transitive closure: Completeness, decidability, filtration

Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.

Добавлено: 2 декабря 2020 г.

On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames

Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.

Добавлено: 7 октября 2019 г.

Вкус востока

М.: , 2018.

Монография является коллективным вкладом российских и зарубежных ученых в набирающий популярность в мировой науке междисциплинарный проект Food Studies. Исследование отличает широкая география привлеченных данных - из стран Ближнего, Среднего и Дальнего Востока, Южной, Юго -восточной и Средней Азии, Закавказья, Северной и Центральной Африки. На примере из истории и современной жизни этих стран и регионов рассматриваются ...

Добавлено: 26 февраля 2019 г.

Segerberg squares of modal logics and theories of relation algebras

Шехтман В. Б., , in: Larisa Maksimova on Implication, Interpolation, and Definability.: Cham: Springer, 2018. P. 245–296.

We establish a natural translation from word rewriting systems to strictly positive polymodal logics. Thereby, the latter can be considered as a generalization of the former. As a corollary we obtain examples of undecidable finitely axiomatizable strictly positive normal modal logics. The translation has its counterpart on the level of proofs: we formulate a natural ...

Добавлено: 21 сентября 2018 г.

Larisa Maksimova on Implication, Interpolation, and Definability

Cham: Springer, 2018.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original ...

Добавлено: 20 сентября 2018 г.

Filtration Safe Operations on Frames

Kikot S., Shapirovsky I., Золин Е. Е., , in: Advances in Modal Logic. Volume 10.: College Publications, 2014. P. 333–352.

Фильтрация является стандартным средством для установления финитной аппроксимируемости модальных логик. В работе изучаются логики и классы шкал, допускающие фильтрацию (фильтруемые), и указываются операции на них, сохраняющие фильтруемость. В частности, показано, что операции добавления обратного отношения и транзитивного замыкания отношения сохраняет фильтруемость. Используя данные результаты, установлено, что всякая регулярная грамматическая модальная логика (возможно с обратными модальностями) ...

Добавлено: 14 июня 2018 г.

Local Goldblatt-Thomason Theorem

Золин Е. Е., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861–880

Доказан локальный аналог теоремы Гольдблатта-Томасона о характеризации модально определимых классов шкал Крипке с выделенной точкой; результат также обобщен на случай шкал с несколькими выделенными точками. Дается сравнение результатов с подобными результатами для гибридной модальной логики; формулируются открытые вопросы. ...

Добавлено: 14 июня 2018 г.

Undecidability of the transitive graded modal logic with converse

Золин Е. Е., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399–1420

We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...

Добавлено: 14 июня 2018 г.

26th International Conference on Automated Deduction – CADE 26

Springer, 2017.

Добавлено: 14 сентября 2017 г.

О разбиениях шкал Крипке конечной высоты

Кудинов А. В., Шапировский И. Б., Известия РАН. Серия математическая 2017 Т. 81 № 3 С. 134–159

В работе доказана финитная аппроксимируемость и разрешимость семейства предтранзитивных модальных логик конечной высоты. Построены специальные разбиения (фильтрации) предтранзитивных шкал конечной высоты, из чего следует финитная аппроксимируемость и разрешимость их модальных логик. ...

Добавлено: 4 сентября 2017 г.

Advances in Modal Logic

L.: College Publications, 2016.

Добавлено: 17 июля 2017 г.