Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.

Published in: CONCUR (2007)

Keyphrases

modal logic
expressive power
worst case
neural network
computational properties
computational complexity
computational cost
classical logic
information systems
expert systems
np hard
query language
upper bound
first order logic
decision problems