Temporal logics over linear time domains are in PSPACE.

Alexander Rabinovich

Published in: Inf. Comput. (2012)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
satisfiability problem
modal logic
concurrent systems
belief revision
predicate logic
verification method
linear temporal logic
worst case
temporal knowledge
reactive systems
natural language
artificial intelligence
multi faceted