PP-2021-08: Learning What Others Know

PP-2021-08: Baltag, Alexandru and Smets, Sonja (2020) Learning What Others Know. [Pre-print]

[thumbnail of LPAR2020.pdf] Text

Download (443kB)


We propose a number of powerful dynamic-epistemic logics for multi-agent information sharing and acts of publicly or privately accessing other agents' information databases. The static base of our logics is obtained by adding to standard epistemic logic comparative epistemic assertions, that can express epistemic superiority between groups or individuals, as well as a common distributed knowledge operator (that combines features of both common knowledge and distributed knowledge). On the dynamic side, we introduce actions by which epistemic superiority can be acquired: "sharing all one knows" (by e.g. giving access to one's information database to all or some of the other agents), as well as more complex informational events, such as hacking. We completely axiomatize several such logics and prove their decidability.

Item Type: Pre-print
Report Nr: PP-2021-08
Series Name: Prepublication (PP) Series
Year: 2020
Uncontrolled Keywords: common knowledge, communication, distributed knowledge, dynamic logic, epistemic logic, information sharing, distributed computing, dynamic epistemic logic
Subjects: Logic
Depositing User: Prof. S.J.L Smets
Date Deposited: 15 Sep 2021 15:07
Last Modified: 29 Sep 2021 10:03
URI: https://eprints.illc.uva.nl/id/eprint/1806

Actions (login required)

View Item View Item