Vitaliy Dolgorukov

Vitaly Dolgorukov and Elena Popova made presentations at the section "Mathematical Logic and Theoretical Computer Science" at the IV Conference of Mathematical Centers of Russia, which took place from August 6 to August 11 in St. Petersburg.

The staff members of IL LogLinFF became the best HSE teachers in the 2024 competition.

Vitaly Dolgorukov's article "Alternatives to Kripke Semantics for Epistemic Logic" was published in the journal "Logical Investigations".

On June 24, a one-day workshop on mathematical logic was held at the Higher School of Economics, where Vitaly Dolgorukov presented the report "Dynamic epistemic Logic for agents with resource constraints".

An article by Vitaly Dolgorukov, Rustam Galimullin and Maxim Gladyshev «Dynamic Epistemic Agents Logic of Resource Bounded Information Mining» was published in ««Autonomous Agents and Multi-Agent Systems 24» (AAMAS) conference proceedings. The AAMAS is the largest and most influential conference in the field of multi-agent system modeling and is on the CORE Computer Science Conference Rankings list of A+.

On January 15, a workshop dedicated to World Logic Day was held at the International Laboratory of Logic, Linguistics and Formal Philosophy.

The first World Logic Day was held at universities and research centers on January 14, 2019. Researchers from more than 30 countries joined the celebration. Yet in the fall of 2019, at the UNESCO conference, January 14 was declared World Logic Day.

The International Laboratory of Logic, Linguistics and Formal Philosophy celebrates World Logic Day for the fifth time. 

Program 17.00–17.10 Opening

17.10–17.35 Evgeny Lebkov, Yulia Blinova, The interplay of the ability to solve non-standard mathematical problems in compliance with logical laws
17.35–18.00 Vyacheslav Pyatakov, The logic of the dynamics of legal relations DyLeR
18.00–18.25 Anna Moiseeva, Situational semantics of conditionals and logical consequence
18.25–18.50 Anna Ovchinnikova, De Re and De Dicto Knowledge in Two-Dimensional Semantics 
18.50–19.20 poster section
19.20–19.45 Ramadan Ayupov, The problem of empty names and its significance for semantics
19.45–20.10 Valeria Chasova, Empirical statuses of theoretical symmetries
20.10–20.35 Vladimir Stepanov, The method of constructing tables of multivalued logic of self-reference 
20.35–21.00 Viktoria Denisova, On the issue of the demarcation of logic from psychology

On 11  – 13 October 2023, the International Conference "Formal Philosophy – 2023" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy (HSE University).

On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.

Researchers of the International Laboratory for Logic, Linguistics and Formal Philosophy have presented talks at the conference on mathematical philosophy in Paris

What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.

The researchers of the Laboratory took part in ESSLLI 2019

The International conference “Formal Philosophy 2019” was held on 27-28 June 2019. The conference was attended by scientists from Russia, USA, Brazil, Poland, Germany, Austria, Portugal and South Korea. It is planned that the conference will be a regular annual event.

Vitaliy Dolgorukov made the report "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" at a scientific seminar of research group LangCog (Language, Mind and Cognition) of University of Lisbon.

On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.

On October 9, Vitaliy Dolgorukov, the Deputy Head of the Laboratory, made a report “The Ontological Square and Type-Theoretic Semantics”

On October 1-2, the International Conference “Formal Philosophy” was held in the Higher School of Economics. This conference was organized by the International Laboratory for Logic, Linguistics and Formal Philosophy.

Виталий Долгоруков, Александра Павлова и Денис Федянин приняли участие в 30-й европейской летней школе по логике, языку и информации (30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION), которая прошла в Софийском Университете с 6-го по 17-е августа.

20 и 21 октября в НИУ ВШЭ состоялся международный воркшоп «Границы логики: перезагрузка» ("The Bounds of Logic Reloaded"), организованный Школой философии, Лабораторией философских исследований и научно-учебной группой «Формальная философия».

The First HSE Workshop on Semantics and Pragmatics took place on September 30 and October 1 in Moscow. The first HSE Semantics and Pragmatics workshop was held on September 30 and October 1 in Moscow. The workshop was organized by a Research group “Formal Philosophy”, School of Philosophy and School of Linguistics.