?
On algebraic and topological semantics of the modal logic of common knowledge S4CI
Logic Journal of the IGPL. 2024. Vol. 32. No. 1. P. 164–179.
For the modal logic S4CI, we identify the class of completable S4IC-algebras and prove for them a Stone-type representation theorem. As a consequence, we obtain strong algebraic and topological completeness of the logic S4CI in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish the corresponding strong completeness results for the enriched system in the case of global semantic consequence relations.
Melentev F. I., М.: Фонд «Связь Эпох», 2026.
В брошюре рассказывается о роли Русского исторического общества в изучении документального наследия императрицы Екатерины Великой и распространении достоверных знаний о екатерининской эпохе. В издании рассмотрены взгляды на Екатерину II императоров Александра III и Николая II, которые были почетными председателями Императорского Русского исторического общества. Особое внимание уделено издательской программе ИРИО, предусматривавшей публикацию документов Екатерины II в ...
Added: July 1, 2026
Springer, 2026.
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of ...
Added: June 30, 2026
Pochinka O., Barinova M., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
In the present paper we consider an Ω-stable 3-diffeomorphism with a solid or thickened surfaced non-trivial basic set. Such basic sets include, for instance, all one-dimensional expanding attractors and those two-dimensional basic sets that are not expanding. We prove that the chain recurrent set of every such a diffeomorphism necessarily contains at least two non-trivial ...
Added: June 30, 2026
German O., Illarionov A., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Added: June 29, 2026
Nikonov A., Technology and Language 2026 Vol. 7 No. 2 P. 104–117
This article focuses on the notion of authenticity as a characteristic of a specific vocal technique that has its own specificity in relation to Estrada song. The significance of vocal authenticity in the Soviet context is shaped by cultural, technological, and ideological factors functioning within specific historical circumstances. As a case study, the article examines ...
Added: June 28, 2026
Ivchenko A., Nigmatullin R. R., Dorokhin S. V., Mathematics 2021 Vol. 9 No. 4 Article 381
n this paper, we focus on the generalization of the Hurst empirical law and suggest a set of reduced parameters for quantitative description of long-time series. These series are usually considered as a specific response of a complex system (economic, geophysical, electromagnetic and other systems), where successive fixations of external factors become impossible. We consider ...
Added: June 27, 2026
Ivchenko A., Shestoperov A. I., Fomina E. V., Microgravity Science and Technology 2025 Vol. 37 No. 19 P. 1–19
The paper is dedicated to the analysis of medico-biological data obtained during locomotor testing of astronauts. Accurate data interpretation plays a crucial role in locomotion system monitoring, prophylaxis of long-duration spaceflight negative effects and thus in the development of an autonomous medical support system for deep space expeditions. During the locomotor testing the astronaut changes ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
The article proposes the architecture for eventdriven Emergency Operation Center with Machine Vision Component. Sources of information are analyzed and approaches to machine vision events for tactical situations detection and estimation are discussed. Messages from Machine Vision Components are converted to Common Alerting Protocol and processed by Operation Center environment for tactical situations recognition. ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
In this article we propose a new approach to the analysis of econometric industry parameters for the industry consolidation level. The research is based on the simple industry automatic control model. The state of the industry is measured by quarterly obtained econometric parameters from each industry’s company provided by the tax control regulator. An approach ...
Added: June 26, 2026
Shamkanov D. S., Logic Journal of the IGPL 2024 P. 1–46
We consider an extension of the modal logic of transitive closure K+ with certain infinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. We establish continuous cut-elimination for the given calculus using fixed-point theorems for contractive mappings. The infinitary derivations mentioned above are well founded and countably branching, while the non-well-founded proofs ...
Added: January 29, 2025
Shamkanov D. S., / Series arXiv "math". 2023.
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since ...
Added: November 14, 2023
Vilinbakhova E., Escandell-Vidal V., Zevakhina N., Journal of Pragmatics 2022 Vol. 191 P. 55–66
In the literature on nominal tautologies, it is assumed that common knowledge is a crucial ingredient for their interpretation. This paper explores a different approach: we argue that invoking shared knowledge is at the same time too strict and too vague as a condition for the understanding of tautologies in context. More specifically, we claim ...
Added: February 8, 2022
Shamkanov D. S., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 581–596.
The provability logic GLP introduced by G. Japaridze is a propositional polymodal logic with important applications in proof theory, specificially, in ordinal analysis of arithmetic. Though being incomplete with respect to any class of Kripke frames, the logic GLP is complete for its neighbourhood interpretation. This completeness result, established by L. Beklemishev and D. Gabelaia, implies ...
Added: October 6, 2020
Geurts L. B., Battich L., Synthese 2020
Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, ...
Added: June 25, 2020
Shamkanov D. S., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics. ...
Added: December 20, 2019
Dmitriev P. M., , in: La vertu des païens.: P.: Editions Kimé, 2019. P. 215–240.
- ...
Added: April 1, 2019
Levando D. V., Sakharov M., / Series SSRN Working Paper Series "SSRN Working Paper Series". 2019.
We develop a theory of equilibrium market volatility in a general equilibrium duopoly with complete information. The resulting economic system possesses a property, which can be described as ‘natural volatility’ of markets, even if players have complete information.
Economy is described as a strategic market game where every player has market power as a buyer and ...
Added: January 18, 2019
Levando D. V., Sakharov M., / Series "Working Papers". 2018.
We develop a theory of market instability caused by strategic trade with complete information and without outside shocks. We focus on general equilibrium duopoly as a strategic market game with infinite strategies, and a pricing mechanism. First order conditions of the game are the 1-st kind integral equations of Fredholm, which have many solutions.
A solution ...
Added: January 23, 2018
Levando D. V., Sakharov M., / Series Research Paper Series No. 01/WP/. 2018.
We develop a theory of market fluctuations caused by strategic trade with complete information and without outside shocks. The constructed general equilibrium duopoly is a strategic market game with infinite strategies and multiple mixed strategies equilibria. First order conditions (FOC) of the game are the ill-posed problems (Hadamard, 1909), but every equilibrium mixed strategy can ...
Added: January 16, 2018
Chanturidze Y. M., , in: LATEUM 2015: Research and Practice in Multidisciplinary Discourse. Материалы XII международной конференции Лингвистической ассоциации преподавателей английского языка МГУ им М.В. Ломоносова.: M.: Moscow University book, 2015. P. 104–106.
As it follows from the idea of discourse, it is not discussed without its certain usage. Its participants’ social, political and cultural characteristics are reflected in it. At the same time various voices belonging to previous discourse practices can intermingle in it, which creates new senses of meaning. In relation to this the notion of ...
Added: November 6, 2017
Chanturidze Y. M., Ярославский педагогический вестник 2014 № I (Гуманитарные науки) С. 140–144
It is known that discourse is not discussed without its concrete usage. Its participants’ social, political and cultural characteristics are reflected in it. At the same time various voices belonging to previous discourse practices can intermingle in it, which creates new senses of meaning. Thus, when analyzing the influence of discourse upon the audience, linguistic ...
Added: August 25, 2014
Kudinov A., Shehtman V. B., , in: Leo Esakia on Duality in Modal and Intuitionistic Logics.: Springer, 2014. Ch. 11 P. 291–334.
We study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces, T1- spaces, dense-in-themselves spaces, a zero-dimensional dense-in-itself separable metric space, R^n (n>1). We also discuss the correlation between languages with different combinations of the ...
Added: March 5, 2014
Slavnov S. A., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477–492
Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...
Added: February 27, 2013
Kudinov A., , in: Advances in Modal Logic, Volume 6.: L.: College Publications, 2006. P. 319–332.
Added: February 27, 2013