Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.

Ben C. Moszkowski

Published in: J. Log. Comput. (2007)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
concurrent systems
belief revision
temporal knowledge
model checker
linear temporal logic
reactive systems
temporal properties
verification method
epistemic logic
temporally extended
computation tree logic
automata theoretic