With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm.

中文翻译：

---

数据知识的动态逻辑

随着代理越来越依赖来自中央服务器而不是自己的传感器的信息，知识不再是特定代理的财产，而是代理可以访问的数据的财产。本文提出了一种基于数据的知识的动态逻辑，该逻辑描述了三种模式和捕获这种知识形式的属性的一种关系之间的相互作用。主要技术成果是两个动态算子相互之间的不可定义性、健全且完整的公理化以及模型检验算法。