Bernhard Heinemann, FernUniversität in Hagen
In this paper, we introduce first a certain, hybrid extension of the well-known multi-modal language for knowledge of agents. The expressive power of the new language is then used for the development of a spatio-temporal view of knowledge. As it turns out, the accompanying logics have some good-natured meta-properties. We obtain, in particular, completeness, decidability and a complexity result. All this gives us good reasons for taking the new system as a formal basis for spatio-temporal epistemic reasoning.