Mon, 27 Feb 2006
17:30
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.