Modal Logics of Topological Relations

22^nd June 2004, 15:00
Carsten Lutz
Dresden University of Technology, Department of Computer Science, Institute for Theoretical Computer Science, Dresden, Germany