?
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
P. 45–45.
Рыбаков М. Н., Shkatov D.
Язык:
английский
В книге
М.: Современные тетради, 2017.
[б.и.], 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 г.
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness
Рыбаков М. Н., Logic Journal of the IGPL 2024 Vol. 32 No. 3 P. 465–492
Добавлено: 7 июля 2023 г.
Шехтман В. Б., Annals of Pure and Applied Logic 2023 Vol. 174 No. 2 Article 103202
Добавлено: 30 января 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 г.
Захарьящев М. В., Kurucz A., Саватеев Ю. В. и др., Springer, 2021.
Добавлено: 6 ноября 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 г.
Рыбаков М. Н., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99
Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL. ...
Добавлено: 20 июля 2020 г.
Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 531–539.
Добавлено: 6 октября 2019 г.
Рыбаков М. Н., Чагрова Л. А., Программные продукты и системы 2018 Т. 31 № 3 С. 591–597
В качестве формального средства, описывающего свойства различных структур (в том числе структур вычислений), обычно используют язык логики предикатов. Этот язык, с одной стороны, понятен и удобен, а с другой, многие вопросы, важные с прикладной точки зрения, для него алгоритмически неразрешимы, то есть не могут быть решены программно. Сейчас существует много альтернативных языков, позволяющих описывать вычисления ...
Добавлено: 6 октября 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 г.
Шехтман В. Б., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 559–575.
Добавлено: 20 сентября 2018 г.
Shapirovsky I., Золин Е. Е., , in: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015).: [б.и.], 2015. P. 1–3.
We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF). ...
Добавлено: 14 июня 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 г.