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).
An article by Anastasia Onoprienko has been published
The journal Mathematical Notes has published an article by Anastasia Onoprienko titled "Intuitionistic Epistemic Logic from the Point of View of Classical Logic."
Talk by Ramazan Ayupov: “The Analysis of Analyticity in Hintikka’s Philosophy of Mathematics and Martin-Löf’s Type Theory”
On 17 June the 123rd session of the theoretical seminar "Formal Philosophy" took place.
Talk by Alexander Poddiakov: “Vagueness and Fuzziness in the Space of Scientific Inquiry: Objective Prerequisites and Subjective Experience of Experiencing”
On June 10 at 18:10, the 122nd meeting of the theoretical seminar “Formal Philosophy” took place.
Viktoriia Denisova spoke at CBT FORUM 2026 and presented the monograph “Philosophy and CBT”, co-authored with Dmitry Kovpak
On May 16, Viktoriia Denisova took part in the international CBT FORUM 2026 with a joint presentation alongside Dmitry Viktorovich Kovpak, MD, PhD (Candidate of Medical Sciences), Associate Professor at the Department of Psychotherapy, Medical Psychology, and Sexology at the I. I. Mechnikov North-Western State Medical University (St. Petersburg). Their talk was titled “Philosophy and Cognitive Behavioral Therapy.”
Viktoria Denisova delivered a talk at the Center for Logic, Epistemology, and the History of Science at the University of Campinas (UNICAMP, Brazil)
On May 13, Viktoria Denisova presented her talk “Distorted Conditionals: A Relevance-Theoretic Account” at the Center for Logic, Epistemology, and the History of Science at the University of Campinas (UNICAMP, Brazil).
The head of the laboratory, Elena Dragalina-Chernaya, spoke with the HSE news service “Vyshka.Main”
The International Laboratory for Logic, Linguistics, and Formal Philosophy at HSE University studies logic and rationality in a changing world characterized by a diversity of logical systems and rational agents. The laboratory maintains and develops academic collaborations with Russian and international partners. The HSE news service “Vyshka.Main” spoke with the head of the laboratory, Professor Elena Dragalina-Chernaya, about its research.