42 citations · 95 across the 19 of their papers we have counts for
20 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…
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
Alexandru Baltag, Malvin Gattinger, Djanira Gomes
We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fall…
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…
Dependence Logics in Temporal Settings
Alexandru Baltag, Johan van Benthem, Dazhu Li
Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamic…