Elena Popova
- Research Assistant:International Laboratory for Logic, Linguistics and Formal Philosophy
- Elena Popova has been at HSE University since 2020.
Continuing education / Professional retraining / Internships / Study abroad experience
- 2022, PhF TSU, "Summer School on Analytical Philosophy of Language and Logic";
- 2021, held virtually, "32nd European Summer School in Logic, Language and Information";
- 2021, Artificial Intelligence and Computer Science Lab of the University of Porto (held virtually), "European Agent Systems Summer School".
Mini-courses at summer schools and IL LLFP's seminars
- "Epistemic Logic: Calculus and Models (advanced)", summer school "Logic and Formal Philosophy";
- "Epistemic puzzles and paradoxes: an informal introduction", 1st summer school of IL LLFP;
- "Introduction to Structural Proof Theory", mini-course at the scientific and educational seminar of IL LLFP "Logical Semantics".
Publications3
- Chapter Dolgorukov V., Popova E. Temporal Epistemic Logic for Agents with Delay in Awareness, in: Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts. Milan : University of Milan, 2023. P. 90-90.
- Article Popova E. Merging Epistemic and Temporal Models: a History-Free Approach // Логико-философские штудии. 2022. Vol. 20. No. 1. P. 1-7. doi
- Chapter Popova E. Knowledge and Time: Evolutionary Epistemic Model, in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. / Отв. ред.: В. И. Маркин. М. : Русское общество истории и философии науки, 2021. P. 134-137.
Formal Philosophy 2022
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.