76 citations · 102 across the 14 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.AI2011★ 76 cited
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
D. Gabelaia, R. Kontchakov, A. Kurucz +2
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…
math.LO2011★ 1 cited
Topological completeness of the provability logic GLP
Lev D. Beklemishev, David Gabelaia
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopologi…