A Dynamic Logic of Data-Informed Knowledge-Reference-Cited by-同舟云学术

A Dynamic Logic of Data-Informed Knowledge

Published:2024-01-16 Issue:2 Volume:53 Page:521-557
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Deuser Kaya^ORCID,Jiang Junli^ORCID,Naumov Pavel^ORCID,Zhang Wenxuan

Abstract

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

Funder

Southwest University

Publisher

Springer Science and Business Media LLC

Link

https://link.springer.com/content/pdf/10.1007/s10992-023-09740-5.pdf

Reference38 articles.

1. Ågotnes, T., Balbiani, P., van Ditmarsch, H., & Seban, P. (2010). Group announcement logic. Journal of Applied Logic, 8(1), 62–81. https://doi.org/10.1016/j.jal.2008.12.002

2. Alur, R., Peled, D., Penczek, W. (1995). Model-checking of causality properties. In: Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, pp. 90–100. IEEE.

3. Andreassen, A.M. (2017). Nine lines that changed history – at least on the internet. EU Observer, 12. https://euobserver.com/digital/138958.

4. Armstrong, W.W. (1974). Dependency structures of data base relationships. In: Information Processing 74 (Proc. IFIP Congress, S tockholm, 1974), pp. 580–583. North-Holland, Amsterdam.

5. Baltag, A. (2016). To know is to know the value of a variable. In: L.D. Beklemishev, S. Demri, A. Maté (eds.) Advances in Modal Logic 11, proceedings of the 11th conference on Advances in Modal Logic, Budapest, Hungary, August 30 – September 2, 2016, pp. 135–155. College Publications.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A logic of trust-based beliefs;Synthese;2024-07-18