PP200123: Aiello, Marco and van Benthem, Johan (2001) A Modal Walk Through Space. [Report]
Text (Full Text (PS))
PP200123.text.ps.gz Download (285kB) 


Text (Full Text (PDF))
PP200123.text.pdf Download (348kB)  Preview 

Text (Abstract)
PP200123.abstract.txt Download (771B) 
Abstract
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new finestructure 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, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
Item Type:  Report 

Report Nr:  PP200123 
Series Name:  Prepublication (PP) Series 
Year:  2001 
Uncontrolled Keywords:  affine geometry, elementary geometry, betweenness, nearness, mathematical morphology, modal logics of space, spatial reasoning 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/64 
Actions (login required)
View Item 