Complexity of propositional Linear-time Temporal Logic with finitely many variables.

Mikhail N. Rybakov Dmitry Shkatov

Published in: CoRR (2017)

Keyphrases

propositional formulas
linear time temporal logic
causal graph
propositional logic
first order logic
boolean formula
propositional variables
decision problems
polynomial hierarchy