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

Mikhail N. Rybakov Dmitry Shkatov

Published in: ICTAC (2018)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
temporal knowledge
predicate logic
verification method
concurrent systems
belief revision
computational complexity
space complexity
reactive systems
linear temporal logic
artificial intelligence
computation tree logic