A modalwalk through space

Marco Aiello, Johan Van Benthem

Research output: Contribution to journalArticlepeer-review

42 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)319-363
Number of pages45
JournalJournal of Applied Non-Classical Logics
Volume12
Issue number3-4
DOIs
Publication statusPublished - 2002
Externally publishedYes

Keywords

  • Affine geometry
  • Arrow logics
  • Conditional logic
  • Elementary geometry
  • Linear logic
  • Mathematical morphology
  • Modal logics
  • Spatial reasoning
  • Topology

Fingerprint Dive into the research topics of 'A modalwalk through space'. Together they form a unique fingerprint.

Cite this