TY - JOUR
T1 - A Modal Walk Through Space
AU - Aiello, Marco
AU - Benthem, Johan van
N1 - Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi
Rights: University of Groningen, Research Institute for Mathematics and Computing Science (IWI)
PY - 2002
Y1 - 2002
N2 - 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 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, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
AB - 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 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, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
M3 - Article
SN - 1958-5780
VL - 12
SP - 319
EP - 363
JO - Journal of Applied Non-Classical Logics
JF - Journal of Applied Non-Classical Logics
IS - 3-4
ER -