Complexity of hybrid logics over transitive frames.
Complexity of hybrid logics over transitive frames.by Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber J.Applied Logic 8(4): 422-440 (2010)
|
Complexity of hybrid logics over transitive frames.by Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber J.Applied Logic 8(4): 422-440 (2010)
|