Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

29 October 2003, Meeting of the Spatial Reasoning Group, Johan van Benthem

Speaker: Johan van Benthem
Title: Tutorial on Completeness of S4 for R
Date: Wednesday 29 October 2003
Time: 16:00

The relevant material for this tutorial can be found in: http://www.dit.unitn.it/~aiellom/publications/topax.pdf

For more information on the Spatial Reasoning Group, contact D. Sarenac at:

Please note that this newsitem has been archived, and may contain outdated information or links.