Temporal Logics over Linear Time Domains Are in PSPACE.

Alexander Rabinovich

Published in: RP (2010)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
transition systems
temporal resolution
state space
phase transition
predicate logic
temporal knowledge
bounded model checking
linear time temporal logic