The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.

Stefan Gller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Wei

Browse the full AiML paper archive.