Talk by Mikhail Rybakov: “Logics for Describing Computations: Syntax, Semantics, and Complexity”
On September 24, M. N. Rybakov gave a talk entitled “Logics for Describing Computations: Syntax, Semantics, and Complexity” at the L. L. Maksimova “Non-Classical Logics” Seminar, held at the Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences.
Yuriy Kazakov spoke on "Epistemic Models of Questions and Answer"
On September 23, a research seminar was held at which research intern Yuri Kazakov gave a talk entitled “Epistemic Models of Questions and Answers.”
Congratulations to Maxim Evstigneev on successfully defending his PhD thesis!
Maxim Evstigneev successfully defended his PhD thesis entitled “The ‘Way of Ideas’ Idiom in Early Modern Philosophy from René Descartes to Thomas Reid.”
Talk: "Minimal Fully Determined Logic and Its Theories"
On September 16, I. A. Gorbunov and M. N. Rybakov gave a talk entitled “Minimal Fully Determined Logic and Its Theories” at the logic seminar of the Yuri Manin Laboratory, held at the Higher School of Mathematics of the Moscow Institute of Physics and Technology (MIPT).
Alexander Poddiakov’s Preprint
A preprint by Alexander Poddiakov, "Vague Stimulating Ideas, Images and Metaphors in Scientific Thinking: Researchers' Work with Horizons of Unclear Knowledge," has been published.
Link to the preprint
Anastasia Onoprienko and Mikhail Rybakov Present at a Conference in Kazan
On 21 August, at the Sixth Conference of Mathematical Centers of Russia in Kazan, Anastasia Onoprienko and Mikhail Rybakov presented a paper on the complexity of HC logic — a hybrid system combining classical and intuitionistic logics and its fragments.
Viktoriia Denisova co-authors article with Serbian scholar Nikola Petrović, “Cognitive Distortions Are Not Logical Errors: A Conceptual Clarification”
In the journal Journal of Rational-Emotive and Cognitive-Behavior Therapy, an article by Viktoriia Denisova and Nikola Petrović was published titled "Cognitive Distortions Are Not Logical Errors: A Conceptual Clarification".
Mikhail Rybakov’s article “Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables” has been published
In the journal Annals of Pure and Applied Logic, an article by Mikhail Rybakov has been published.
The link to view the article.
Ivan Sobolev's article "The Frontier of Semantics and Pragmaticsin the Philosophy of Language" has been published
Ivan Sobolev's article "The Frontier of Semantics and Pragmaticsin the Philosophy of Language" has been published in the journal Epistemology and Philosophy of Science.
Ramazan Ayupov gave a talk at the international conference "Logical Colloquium 2026"
On July 3, Ramazan Ayupov gave a talk titled "Analyticity and Modern Formal Theories: Hintikka's Typology and Type Theory" at the "Logical Colloquium" conference, which was held at Swansea University (Wales, UK).