Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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}
Abstract
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