The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.

Robert Goldblatt Ian M. Hodkinson

Published in: Advances in Modal Logic (2016)

Keyphrases

low dimensional
real life
databases
space time
multi dimensional
search space
real world
logic programming
higher dimensional
multiscale
information systems
real time
line segments
vector space
dimensional data
classical logic
virtual space