Dynamic epistemic logic tries to reason about knowledge that certain actors (people, machines, etc.) have and how it can change in response to outside events. It is usually possible to discuss such a logic with the help of Kripke semantics.
Has anyone worked on categorical semantics for any kind of dynamic epistemic logic (with multiple actors)?
I am aware, that "probably not" is very likely a possible answer, but I still want to know.