In this paper, we extend Moss and Parikh's approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively adding various modalities having on the one hand an epistemic interpretation and facilitating on the other hand spatial or spatio-temporal specifications up to a certain degree. The first of these operators is related to disjointness regarding space and ignorance regarding knowledge, and the second one to overlapping and, respectively, quantifying across all possible agents. The third one turns up along with increase of sets and no learning of agents, respectively. A fourth operator is already present in the basic system. Apart from the first case we establish the soundness, completeness and decidability of the accompanying logics. In the first case, however, we up to now could only prove that a certain naturally arising sublogic is decidable.
Subjects: 3.2 Geometric Or Spatial Reasoning; 3.6 Temporal Reasoning
Submitted: Feb 5, 2007