Combining spatial and temporal logics
GabelaiaDavid, KontchakovRoman, KuruczAgi, WolterFrank, ZakharyaschevMichael · 2005
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional te...