Past Analytic Topology in Mathematics and Computer Science

27 February 2006
Johan van Benthem
<span lang=EN style='mso-ansi-language:EN'>We will survey the topological interpretation of modal languages, with some modern features, such as the appropriate <span class=SpellE>bisimulations</span> 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 <span class=SpellE>behaviour</span>, 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. <o:p></o:p></span> <span lang=EN style='mso-ansi-language:EN'>&nbsp;<o:p></o:p></span> <span lang=EN style='mso-ansi-language:EN'>&nbsp;<o:p></o:p></span>
  • Analytic Topology in Mathematics and Computer Science