Hybrid Logics on Linear Structures: Expressivity and Complexity.

Massimo Franceschet Maarten de Rijke Bernd-Holger Schlingloff

Published in: TIME (2003)

Keyphrases

computational complexity
expressive power
linear complexity
modal logic
computational cost
worst case
space complexity
computational properties
data sets
information retrieval
knowledge base
closed form
optimal linear