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…