Seminar series
Date
Mon, 27 Feb 2006
17:30
17:30
Location
L3
Speaker
Johan van Benthem
Organisation
Amsterdam & Stanford
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.