Common knowledge in update logics.

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

Browse the full TARK paper archive.