Seminar on Mathematical Logic (Spring 2007)
This page concerns the Seminar on Mathematical Logic, which will run at
the Institute for Logic, Language &
Computation of the Universiteit van Amsterdam,
from February  May 2007.
Contents of this page
News
 The seminar has finished.
Instructors:
Dr Benedikt Löwe,
Dr Yde Venema,
Prof Dr
Jouko Väänänen
Time: Monday 1719
Place: P.018
Course language: English
Intended Audience: Students of the MSc Mathematics and MSc Logic
Goal.
Students need to learn to read research papers and present mathematical ideas. The goal of this seminar is to give
students an opportunity to train their reading skills in mathematics and learn how to present.
Content.
Selected research papers will be handed out to the students who then have to read them, understand them and present them
to the seminar.

February 5th, 2007.
no class
 February th, 2007. Modal Logic and Topology.
Speaker: Huanfang Dong.
 J van Benthem and G Bezhanishvili,
Modal logics of space (sections 1 and 2),
in: Handbook of Spatial Logics, to appear.
 February th, 2007. Modal Logic and Topology.
Speaker: Jonathan Zvesper.
 February th, 2007. Modal Logic and Topology.
Speaker: Herman Stel.
 March 5, 2007.
no class
 March 12, 2007.
no class
 March 19, 2007. Modal Logic and Topology.
Speaker: Herman Stel (continued)

March 26th, 2007.
no class
 April 2, 2007.
no class
 April 9, 2007.
no class
 April 16, 2007.
Speaker: Huanfang Dong (continued)
 April 23, 2007.
no class
 April 30, 2007.
no class
 May 7, 2007.
no class
 May 14, 2007.
Speaker: Jined Elpitiya
 Topic:A few resuts about topological types.
(Here's the handout  with references.)
Modal logic and topology
 The following papers could be presented together, by two students,
in two meetings:
 C Kupke, A Kurz and Y Venema.
Stone coalgebras
(for the extended report version, click here).
Theoretical Computer Science 327 (2004) 109134.
(builds on the paper by Sambin and Vaccaro)

F Wolter and M Zakharyaschev,
A logic for metric and topology.
Journal of Symbolic Logic 70 (2005) 795828.
Other topics (papers to be supplied)