A Note on Non-Alethic Temporal Logics.

Jair Minoro Abe Kazumi Nakamatsu

Published in: LAPTEC (2005)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
computation tree logic
predicate logic
verification method
bounded model checking
search algorithm
formal specification
temporal resolution
reactive systems