Complexity of Hybrid Logics over Transitive Frames

Martin Mundhenk, Thomas Schneider, Thomas Schwentick +1

This paper examines the complexity of hybrid logics over transitive frames, transitive trees, and linear frames. We show that satisfiability over transitive frames for the hybrid l…