Yuri Kazakov gave a talk titled "The Structural Proof Theory in the service of Formal Epistemology"
On December 3, a session of the research seminar “From the Logical Point of View” took place.
Elena Dragalina-Chernaya visits "Scientific Session"
E.G. Dragalina-Chernaya gave an interview to the "Scientific Session" podcast by the HSE University Center for Student Academic Development (in Russian).
Congratulations to Mikhail Rybakov on the Successful Defense of His Doctoral Dissertation
On November 20, Mikhail Rybakov successfully defended his doctoral dissertation on the topic "Modeling of Logical Systems by Means of Their Fragments."
José da Mata (SBL, Brazilian Society of Logic) delivered a presentation titled "Modality and Time in Aristotle"
On November 26, the 106th session of the Formal Philosophy research seminar was held.
Publications in the journal "Logical Investigations"
Articles by members of the IL LogLinFP have been published in the journal "Logical Investigations".
An article by Anastasia Onoprienko, "Np-Completeness of Hanabi Game with Minimal Parameters," has been published.
The article "NP-Completeness of the Hanabi Game with Minimal Parameters" by Anastasia Onoprienko has been published in the journal "Proceedings of the Russian Academy of Sciences. Mathematics, Informatics, Control Processes".
Presentations by IL LogLinFP Staff Members at the Conference in Saint Petersburg
On November 21-22, a conference dedicated to World Philosophy Day and the Days of Philosophy in Saint Petersburg was held, where Maxim Evstigneev and Anna Moiseeva delivered presentations.
Maxim Evstigneev's Presentation at the World Philosophy Day Conference
On November 20, a conference dedicated to World Philosophy Day was held at the Institute of Philosophy and Law of the Siberian Branch of the Russian Academy of Sciences (IFP SB RAS), where Maxim Evstigneev delivered a presentation titled "Locke and Kant on the Foundation of Mathematical Certainty."
"My entry to formal logic was mainly due to being unsatisfied": Sayantan Roy on His Scientific Journey and Future Plans
Sayantan Roy is the newest member of the International Laboratory for Logic, Linguistics and Formal Philosophy. In this interview, he shares stories about his father as his first teacher, the ideas that reshaped his view of logic, and the kindness he's encountered from people in his new home.
Sayantan Roy made a presentation on «Abstract Model Structures and Compactness Theorems»
A session of the research seminar "From the Logical Point of View" was held on November 19.