Stefan Göller Arne Meier Martin Mundhenk Thomas Schneider 0002 Michael Thomas Felix Weiss The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers http://arxiv.org/abs/1204.1196 2012 CoRR abs/1204.1196 db/journals/corr/corr1204.html#abs-1204-1196