10 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
We consider dynamic versions of epistemic logic as formulated in Baltag and Moss "Logics for epistemic programs" (2004). That paper proposed a logical language (actually families o…