Login / Signup
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.
Stefan Göller
Arne Meier
Martin Mundhenk
Thomas Schneider
Michael Thomas
Felix Weiß
Published in:
Advances in Modal Logic (2012)
Keyphrases
</>
upper bound
expressive power
image frames
decision problems
linear model
quadratic programming
man made
worst case
closed form
inference rules
space complexity