42 citations · 88 across the 19 of their papers we have counts for
19 papers
The Logic of Data Access and Data Exchanges
Alexandru Baltag, Sonja Smets
We investigate a new logic that extends Dynamic Epistemic Logic (DEL), by combining standard epistemic modalities for (individual and distributed) propositional knowledge with oper…
Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
Baltag Alexandru, Smets Sonja
We use a novel type of epistemic logic, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents. Such comparative as…
Group Knowledge of Hypothetical Values
Alexandru Baltag, Sonja Smets
In recent years, epistemic logics have been extended with operators K_ax for knowledge of (the value of) a variable x (by an agent a). We study dynamic versions of these logics, en…
Logic meets Wigner's Friend (and their Friends)
Alexandru Baltag, Sonja Smets
We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions, such as the Frauchiger-Renner (FR) Paradox. We discuss various solut…
LQP: The Dynamic Logic of Quantum Information
Alexandru Baltag, Sonja Smets
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous…
Learning What Others Know
Alexandru Baltag, Sonja Smets
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 st…