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