A Sound and Complete Reified Temporal Logic.

Guoxing Zhao Jixin Ma Fuxing Shen Miltos Petridis

Published in: SNPD (2008)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
computation tree logic
predicate logic
mazurkiewicz traces
linear temporal logic
verification method
belief revision
model checker
inference rules
automata theoretic
transition systems
artificial intelligence