42 citations · 93 across the 13 of their papers we have counts for
1 paper · 1 filter
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…