DeepAI AI Chat
Log In Sign Up

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

by   D. Gabelaia, et al.

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 temporal logic PTL, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off between expressiveness and computational realisability within the hierarchy. We demonstrate how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPACE-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete.


Doubly stochastic models for replicated spatio-temporal point processes

This paper proposes a log-linear model for the latent intensity function...

Complexity and expressivity of propositional dynamic logics with finitely many variables

We investigate the complexity of satisfiability for finite-variable frag...

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alt...

Logics for modelling collective attitudes

We introduce a number of logics to reason about collective propositional...

Spatio-Temporal Linkage over Location Enhanced Services

We are witnessing an enormous growth in the volume of data generated by ...