Moving Spaces

Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a general representation theorem for this kind of algebras.

• Type: Conference
• Year: 2008
• Where: TIME
• Authors: Ivo Düntsch, Michael Winter
• Keywords: Boolean Contact Algebras, Convenient Approach, Logical Reasoning, Region Based Theory, TIME 2008