Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables.

Mikhail N. Rybakov Dmitry Shkatov

Published in: CoRR (2018)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
predicate logic
verification method
computational complexity
branch and bound
temporal knowledge
search algorithm
search tree
space complexity
linear temporal logic