Atlas home || Conferences | Abstracts | about Atlas
Host: Institute for Logic, Language and Computation, University of Amsterdam
Sponsor: Project Logic in Communication, which forms part of Johan van Benthem's Spinoza project Logic in Action.
Homepage: http://turing.wins.uva.nl/~aiellom/mls.html
Organizers: Marco Aiello, Ingrid van Loon, Yde Venema
Description:
In various applications there is a need for formal models of
space and for formal languages for talking about such models.
In sharp contrast to the related field of reasoning about time,
modal logic approaches in this research area have been few
and far between. However, this situation seems to change
rapidly since quite recently a number of `spatial logics' have
been proposed.
The workshop aims at bringing together researchers interested in formal representations of space, and particularly, in approaches based on modal logic.
Speakers: Philippe Balbiani, Luis Fariņas del Cerro, Volker Haarslev, Oliver Lemon, Ian Pratt, Vera Stebletsova, Yde Venema, Marco Aiello
Date received: April 21, 1999
© 2008 Atlas Conferences Inc.