Vitaly Dolgorukov gave a talk at a one-day workshop on mathematical logic

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".

Abstract

The talk will be focused on dynamic epistemic logic for agents with resource constraints [Dolgorukov, Gladyshev, Galimullin 2024; Dolgorukov, Gladyshev 2022]. In particular, we will consider logic for groups of agents with resource constraints and a common knowledge modality. We will discuss issues of axiomatization and decidability for the logics under consideration.

 

Literature

Dolgorukov V., Gladyshev M., Galimullin R. Dynamic Epistemic Logic of Resource Bounded Information Mining Agents // AAMAS ’24: Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024). Auckland: International Foundation for Autonomous Agents and Multiagent Systems, 2024. P. 481-489; Dolgorukov V., Gladyshev M. Dynamic Epistemic Logic for Budget-Constrained Agents // Dynamic Logic. New Trends and Applications. 4th International Workshop, DaL ́ı 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers Vol. 13780. Cham : Springer, 2023. P. 56-72.