1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
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…
cs.LO2025
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…
cs.LO2025
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…