223 citations · 849 across the 52 of their papers we have counts for
1 paper · 2 filters
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate…