The presentations of IL LogLinFF staff at the IV Conference of Mathematical Centers

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.

Elena Popova gave a talk on the topic "Semantics of the Logic of First-Order Evidence with a Binding Modality" (based on the results of joint work with T. L. Yavorskaya).

Vitaly Dolgorukov made a presentation on the topic "Dynamic Epistemic Logic for Groups of Agents with Resource Constraints" (based on the results of joint work with M. Gladyshev, R. Galimullin).

To get faliliar with the work of the sections and abstracts of the talks on the official website of the IV Conference of Mathematical Centers.