1 citations · 1 across the 1 of their papers we have counts for
4 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…