Mon, 27 Feb 2006
17:30
L3

Knowledge, Topology and Dynamics

Johan van Benthem
(Amsterdam & Stanford)
Abstract
We will survey the topological interpretation of modal languages, with some modern features, such as the appropriate bisimulations and model comparison games. Then we move to an epistemic version of this, showing how it provides a finer set of epistemic distinctions for group behaviour, including different notions of common knowledge. We explain the background for this in an epistemic MU-calculus. Finally, if we can pull this off within the time limit, we will discuss how topological models also show up in current dynamic-epistemic systems of belief revision.

 

  

Subscribe to L3