Complexity of metric temporal logics with counting and the Pnueli modalities.

Alexander Rabinovich

Published in: Theor. Comput. Sci. (2010)

Keyphrases

temporal logic
model checking
modal logic
mazurkiewicz traces
satisfiability problem
predicate logic
verification method
complexity measures
temporal knowledge
concurrent systems
linear temporal logic
computation tree logic
belief revision
decision problems
inference rules
reactive systems
computational complexity