The Complexity of Propositional Linear Temporal Logics in Simple Cases.

Stéphane Demri Philippe Schnoebelen

Published in: Inf. Comput. (2002)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
belief revision
propositional logic
satisfiability problem
polynomial hierarchy
knowledge base
computational complexity
first order logic
default logic
verification method
transition systems