A Road-Map on Complexity for Hybrid Logics.

Carlos Areces Patrick Blackburn Maarten Marx

Published in: CSL (1999)

Keyphrases

worst case
real time
complexity analysis
computational complexity
space complexity
mobile robot
computational cost
expressive power
modal logic
inference rules