Krister Segerberg
-
A sketch of a dynamic epistemic semiring
Information and Computation
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation