Reasoning about information change (1997)

by J D Gerbrandy, W Groeneveld
Venue:Journal of Logic, Language, and Information