A Reified Temporal Logic.

Jixin Ma Brian Knight

Published in: Comput. J. (1996)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
transition systems
mazurkiewicz traces
belief revision
verification method
model checker
reactive systems
linear temporal logic
formal specification language
artificial intelligence