?
Eastern Proto-Logics
P. 529–552.
Schang F.
In press
Shehtman V. B., 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.
The chapter contains an overview of results on products of propositional modal logics and related constructions: semiproducts, Segerberg squares, and others. We focus mainly on axiomatizations, finite model property, and decidability; we also sketch connections with classical and modal predicate logics. In some cases we give ideas of proofs, especially of those using games. ...
Added: June 30, 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
Nikonov A., Логос 2026 Т. 36 № 1 С. 271–296
The article examines Soviet mass songs of the 1930s as an active space for articulating the socialist realist principles of “narodnost” (people’s character) and “partiinost” (party-mindedness). The focus is not only on the content of song production but also on the complex of practices involved in its creation and dissemination, the analysis of which reveals ...
Added: May 6, 2026
Karpenko I., Вопросы философии 2024 № 5 С. 140–146
The article discusses the problem of a correct description of reality in science and philosophy, taking into account the acceptance of the many-world hypothesis. Many-worlds are understood as modern physical hypotheses that allow the existence of other universes (many-world interpretation, chaotic inflation, string landscape, and others). It is shown that these models are likely to ...
Added: September 24, 2024
Karpenko I., Studia Humana 2024 Vol. 13 No. 4 P. 23–34
The paper is devoted to the problem of describing reality in the language of mathematics and logic in connection with intellectual intuition. The question raised is how the basic requirements of mathematical theory and logic will change if some of the multiverse models of modern physics are taken as the basis. Mathematics is considered in ...
Added: September 24, 2024
[б.и.], 2024.
The book contains short papers presented at AiML 2024. ...
Added: August 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 ...
Added: August 14, 2024
Rybakov M., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48
In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic QS5 that include the classical predicate logic QCl, Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke's simulation, which we call the Kripke trick, to various modal ...
Added: December 2, 2023
Rybakov M., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078
We show that the monadic modal logic of a single Kripke frame with finitely many possible worlds, but possibly infinite domains, is decidable. This holds true even for monadic multimodal logics with equality, both if equality interpreted as identity and if equality interpreted as congruence. ...
Added: November 3, 2023
Karpenko I., Философия науки 2023 № 1(96) С. 70–94
The article is concerned with the problem of reality describing in the language of mathematics and logic in connection with the intellectual intuition corresponding to a certain stage in knowledge development. The question of how the basic requirements for mathematical theory and logic will change if we take as a basis some of the many-worlds ...
Added: September 19, 2023
Cham: Birkhäuser, 2024.
John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's ...
Added: August 31, 2023
Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Rybakov M., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595
We consider the relationship between the algorithmic properties of the validity problem for a modal or superintuitionistic propositional logic and the size of the smallest Kripke countermodels for non-theorems of the logic. We establish the existence, for every degree of unsolvability, of a propositional logic whose validity problem belongs to the degree and whose every ...
Added: January 6, 2023
Kikot S., Kudinov A., Mathematics 2022 Vol. 10 No. 19 Article 3701
We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such
as K.2, D.2, D4.2 and S4.2
with unimodal confluence $\Diamond\Box p \to \Box\Diamond p$
as well as the products of modal logics
in the set {K, D, T, D4, S4}, which contain bimodal confluence
$\Diamond_1\Box_2 p \to \Box_2\Diamond_1 p$.
We show that the impact ...
Added: October 10, 2022
Ильяс Латыпов, Социологическое обозрение 2021 Т. 20 № 2 С. 70–103
The presented theory-oriented article describes the main elements of the counter-finality production mechanism in the constitutive order, and provides an empirical illustration. The counter-finality in Elster’s theory is an unintended consequence that generates collective action in order to overcome this contradiction and contribute to social change. However, this approach ignores the very process of producing ...
Added: June 9, 2022
Latypov I., Вестник Российского университета дружбы народов. Серия: Социология 2021 Т. 21 № 4 С. 697–710
Counterfinality is defined as unintended consequences of the uncoordinated actions of rationally acting individuals. Even before the concept was introduced by Sartre and developed by Elster, counterfinality was considered by many scholars. Some defined counterfinality as a type of social paradoxes and dilemmas, others-as an outcome of social interaction. Description and analysis of such social ...
Added: April 16, 2022
Rybakov M., Shkatov D., Studia Logica 2021
Added: January 24, 2022
Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498
There are two different modal logics: the logic T assuming contingency and the logic K = assuming logical determinism. In the paper, I show that the Aristotelian treatise On Interpretation (Περί ερμηνείας, De Interpretatione) has introduced some modal-logical relationships which correspond to T. In this logic, it is supposed that there are contingent events. The Nāgārjunian treatise Īśvara-kartṛtva-nirākṛtiḥ-viṣṇoḥ-ekakartṛtva-nirākaraṇa has introduced some modal-logical relationships which correspond ...
Added: July 21, 2021
Kikot S., Shapirovsky I., Zolin E., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
We give a sufficient condition for Kripke completeness of modal logics that have the transitive closure modality. More precisely, we show that if a modal logic admits what we call definable filtration, then its enrichment with the transitive closure modality (and the corresponding axioms) is Kripke complete; in addition, the resulting logic has the finite ...
Added: December 2, 2020