?
Finite model property of pretransitive analogs of S5
P. 261–264.
Кудинов А. В., Shapirovsky I.
We consider propositional normal unimodal pretransitive logics, i.e., logics with expressible `transitive' modality. There is a long-standing open problem about the finite model property (fmp) and decidability of pretransitive logics, in particular - for the logics K^m_n = K+[]^m p -> []^n p, n>m>1.
Язык:
английский
Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
Добавлено: 30 июня 2026 г.
Springer, 2026.
Добавлено: 30 июня 2026 г.
[б.и.], 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 г.
Шуман А. Н., 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 г.
Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.
Добавлено: 7 октября 2019 г.
Шехтман В. Б., , 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 г.
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 г.
Шехтман В. Б., Shapirovsky I., , in: Advances in Modal LogicVol. 11.: L.: College Publications, 2016. P. 520–534.
Добавлено: 20 сентября 2018 г.
Kikot S., Shapirovsky I., Золин Е. Е., , in: Advances in Modal Logic. Volume 10.: College Publications, 2014. P. 333–352.
Фильтрация является стандартным средством для установления финитной аппроксимируемости модальных логик. В работе изучаются логики и классы шкал, допускающие фильтрацию (фильтруемые), и указываются операции на них, сохраняющие фильтруемость. В частности, показано, что операции добавления обратного отношения и транзитивного замыкания отношения сохраняет фильтруемость. Используя данные результаты, установлено, что всякая регулярная грамматическая модальная логика (возможно с обратными модальностями) ...
Добавлено: 14 июня 2018 г.
Золин Е. Е., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861–880
Доказан локальный аналог теоремы Гольдблатта-Томасона о характеризации модально определимых классов шкал Крипке с выделенной точкой; результат также обобщен на случай шкал с несколькими выделенными точками. Дается сравнение результатов с подобными результатами для гибридной модальной логики; формулируются открытые вопросы. ...
Добавлено: 14 июня 2018 г.
Золин Е. Е., 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 г.