Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Modal Walk Through Space Marco Aiello

Summary: A Modal Walk Through Space
Marco Aiello
and Johan van Benthem
Institute for Logic, Language and Computation
University of Amsterdam
Plantage Muidergracht 24, 1018 TV Amsterdam
The Netherlands
E-mail: {aiellom,johan}@science.uva.nl
Web: http://www.science.uva.nl/~{aiellom,johan}
We investigate the major mathematical theories of space from a modal
standpoint: topology, affine geometry, metric geometry, and vector alge-
bra. This allows us to see new fine-structure in spatial patterns which
suggests analogies across these mathematical theories in terms of modal,
temporal, and conditional logics. Throughout the modal walk through
space, expressive power is analyzed in terms of language design, bisim-
ulations, and correspondence phenomena. The result is both unification
across the areas visited, and the uncovering of interesting new questions.
Technical Report PP-2001-23
University of Amsterdam


Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen
Amsterdam, University of, Institute for Logic, Language and Computation (ILLC)
van Benthem, Johan - Institute for Logic Language and Computation, Universiteit van Amsterdam


Collections: Computer Technologies and Information Sciences; Multidisciplinary Databases and Resources