Reasoning about Information Change
Jelle Gerbrandy, Willem Groeneveld

Abstract:
Recently the notions of information and information change have gained a
prominent place in several fields of scientific research, such as philosophy, 
the formal semantics of natural language and computer science. The present 
paper highlights two of such developments, namely the update semantics of 
Veltman (1996), and the analysis of communication in distributed systems, in 
particular the approach of Fagin et al. (1995). Our main goal here is to show 
that tools of the former may provide useful supplements to the approach of the 
latter.