93 citations · 122 across the 9 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008
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…
cs.LO2008
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
Michael Bauland, Martin Mundhenk, Thomas Schneider +3
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se…