Analytic Topology in Mathematics and Computer Science
|
Mon, 16/01/2006 17:00 |
Adrian Mathias (Reunion) |
Analytic Topology in Mathematics and Computer Science  |
L3 |
|
Mon, 23/01/2006 17:00 |
Ben Chad (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 06/02/2006 17:00 |
Hilary Priestley (Oxford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Tue, 07/02/2006 16:00 |
Henk Bruin (Surrey) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Tue, 14/02/2006 16:00 |
Achim Jung (Birmingham) |
Analytic Topology in Mathematics and Computer Science |
L3 |
|
Mon, 27/02/2006 17:30 |
Johan van Benthem (Amsterdam & Stanford) |
Analytic Topology in Mathematics and Computer Science |
L3 |
| 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. | |||
