TY  - RPRT
TI  - The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
AU  - Stefan Göller
AU  - Arne Meier
AU  - Martin Mundhenk
AU  - Thomas Schneider
AU  - Michael Thomas
AU  - Felix Weiss
PY  - 2012
UR  - https://arxiv.org/abs/1204.1196
ID  - 1204.1196
ER  -