activity
20082025
most citedA Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

32 citations · 72 across the 9 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2012

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers

Stefan Göller, Arne Meier, Martin Mundhenk +3

Hybrid logic with binders is an expressive specification language. Its satisfiability problem is undecidable in general. If frames are restricted to N or general linear orders, the…