Dynamic epistemic logic (1997)

by J D Gerbrandy
Venue:In Proceedings of STASS Workshop on Logic, Language and Computation