?
Segerberg squares of modal logics and theories of relation algebras
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 deep inference proof system for strictly positive logics generalizing derivations in word rewriting systems. We also make some observations and formulate open questions related to the theory of modal companions of superintuitionistic logics that was initiated by L.L. Maksimova and V.V. Rybakov.
Шехтман В. Б., 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 г.
Кудинов А. В., Шапировский И. Б., Известия РАН. Серия математическая 2017 Т. 81 № 3 С. 134-159
В работе доказана финитная аппроксимируемость и разрешимость семейства предтранзитивных модальных логик конечной высоты.
Построены специальные разбиения (фильтрации) предтранзитивных шкал конечной высоты, из чего следует финитная аппроксимируемость и разрешимость их модальных логик. ...
Добавлено: 4 сентября 2017 г.
Шехтман В. Б., , in : Advances in Modal Logic, Volume 10. : College Publications, 2014. P. 498-512.
Добавлено: 18 сентября 2015 г.
Якушева Е. Е., Lex Russica (Русский закон) 2021 № 8 С. 110-117
Статья посвящена трансформации информационной прозрачности российских эмитентов ценных бумаг после введения иностранными государствами и международными организациями санкций в отношении значительного числа российских компаний. В ответ на внешнеполитическое давление российское государство вполне закономерно предприняло ряд шагов по защите пострадавших от санкций отечественных компаний, в том числе предоставив значительные послабления в области раскрытия и представления ими информации. ...
Добавлено: 29 октября 2021 г.
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 г.
Кудинов А. В., Шехтман В. Б., Shapirovsky I., , in : Advances in Modal Logic. Issue 9.: L. : College Publications, 2012. P. 395-410.
Добавлено: 21 февраля 2013 г.
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 г.
Золин Е. Е., 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 г.
Кудинов А. В., , in : Advances in Modal Logic, Volume 6. : L. : College Publications, 2006. P. 319-332.
Добавлено: 27 февраля 2013 г.
Шанг Ф. Ж., 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 г.
Кудинов А. В., , in : Advances in Modal Logic. Issue 9.: L. : College Publications, 2012. P. 286-294.
Добавлено: 21 февраля 2013 г.
Хайтович Д. Г., / Cornell University. Series arXiv "math". 2021. No. 2110.
Добавлено: 7 декабря 2021 г.
Кудинов А. В., , in : Advances in Modal Logic. Volume 10. : College Publications, 2014. P. 373-386.
Добавлено: 7 ноября 2014 г.
Агранович М. С., Mathematische Nachrichten 2016 Vol. 289
This paper is devoted to classical spectral boundary value problems for strongly elliptic second-order systems in bounded Lipschitz domains, in general non-self-adjoint, namely, to questions of regularity and completeness of root functions (generalized eigenfunctions), resolvent estimates, and summability of Fourier series with respect to the root functions by the Abel–Lidskii method in Sobolev-type spaces. These ...
Добавлено: 15 апреля 2016 г.
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 г.
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 г.
Славнов С. А., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477-492
Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...
Добавлено: 27 февраля 2013 г.
Кудинов А. В., Шехтман В. Б., , in : Leo Esakia on Duality in Modal and Intuitionistic Logics. : Springer, 2014. Ch. 11. P. 291-334.
Добавлено: 5 марта 2014 г.
Беклемишев Л. Д., / Cornell University. Series math "arxiv.org". 2013. No. arXiv:1304.4396.
Добавлено: 22 ноября 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 г.