Шехтман В. Б., , in : Advances in Modal Logic, Volume 10. : College Publications, 2014. P. 498-512.
Добавлено: 18 сентября 2015 г.
Шехтман В. Б., Russian Mathematical Surveys 2012 Vol. 67 No. 4 P. 721-777
This paper studies two-dimensional modal logics of a special type, 'Segerberg squares'. They are defined as the usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and the two projections onto the diagonal. For these logics a finite axiomatization is constructed in many cases, and completeness and the finite model property ...
Добавлено: 4 февраля 2013 г.
Кудинов А. В., Шехтман В. Б., Shapirovsky I., , in : Advances in Modal Logic. Issue 9.: L. : College Publications, 2012. P. 395-410.
Добавлено: 21 февраля 2013 г.
Кудинов А. В., , in : Advances in Modal Logic. Volume 10. : College Publications, 2014. P. 373-386.
Добавлено: 7 ноября 2014 г.
Хайтович Д. Г., / Cornell University. Series arXiv "math". 2021. No. 2110.
Добавлено: 7 декабря 2021 г.
Золин Е. Е., 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 г.
Рыбаков М. Н., Shkatov D., , in : Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. : М. : Современные тетради, 2017. P. 45-45.
Добавлено: 7 октября 2019 г.
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. ...
Добавлено: 24 марта 2015 г.
L. : College Publications, 2012
Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult thebackground pages for further details. ...
Добавлено: 21 февраля 2013 г.
Marseille : [б.и.], 2011
Добавлено: 27 февраля 2013 г.
Кудинов А. В., Shapirovsky I., , in : Topology, Algebra and Categories in Logic (TACL 2011). : Marseille : [б.и.], 2011. P. 261-264.
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. ...
Добавлено: 27 февраля 2013 г.
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 г.
Золин Е. Е., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861-880
Доказан локальный аналог теоремы Гольдблатта-Томасона о характеризации модально определимых классов шкал Крипке с выделенной точкой; результат также обобщен на случай шкал с несколькими выделенными точками. Дается сравнение результатов с подобными результатами для гибридной модальной логики; формулируются открытые вопросы. ...
Добавлено: 14 июня 2018 г.
Шехтман В. Б., Shapirovsky I., , in : Advances in Modal Logic. Vol. 11.: L. : College Publications, 2016. P. 520-534.
Добавлено: 20 сентября 2018 г.
Золин Е. Е., Notre Dame Journal of Formal Logic 2019
We introduce a modal operator "almost necessary", inspired by the canonical model construction for the non-contingency logic developed by Humberstone and Kuhn in 1995. This operator, when applied to a proposition, means that all consequences of the given proposition are non-contingent. We show that, although the almost necessaryhas many properties inherent to normal modal operators, ...
Добавлено: 14 июня 2018 г.
Славнов С. А., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477-492
Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...
Добавлено: 27 февраля 2013 г.
Кудинов А. В., , in : Advances in Modal Logic, Volume 6. : L. : College Publications, 2006. P. 319-332.
Добавлено: 27 февраля 2013 г.
Кудинов А. В., Шехтман В. Б., , in : Leo Esakia on Duality in Modal and Intuitionistic Logics. : Springer, 2014. Ch. 11. P. 291-334.
Добавлено: 5 марта 2014 г.
Шанг Ф. Ж., Al-Mukhatabat 2014 Vol. 9 No. 1 P. 230-242
The paper draws attention to the epistemological obstacles that prevented Wittgenstein from acknowledging the modern view of modal logic, including the so-called propositional attitudes. Whilst suggesting a retrospective overview of the logic of epistemic modalities, it is argued that such obstacles primarily rely upon the nature of the logical space depicted in the Tractatus Logico-Philosophicus as well as the metaphysical status ...
Добавлено: 30 октября 2014 г.
Кудинов А. В., Logic Journal of the IGPL 2018 Vol. 26 No. 3 P. 316-338
Добавлено: 20 августа 2018 г.
We introduce the logics GLPΛ, a generalization of Japaridze’s polymodal provability logic GLPω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLPω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLPΛ and the decidability of GLPΛ for recursive ...
Добавлено: 21 ноября 2013 г.