On Regular Temporal Logics with Past, .

Christian Dax Felix Klaedtke Martin Lange

Published in: ICALP (2) (2009)

Keyphrases

verification method
temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
linear temporal logic
concurrent systems
transition systems
predicate logic
belief revision
computation tree logic
special case
reactive systems