Future temporal logic needs infinitely many modalities.

Yoram Hirshfeld Alexander Moshe Rabinovich

Published in: Inf. Comput. (2003)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
linear temporal logic
belief revision
bounded model checking
computation tree logic
formal specification language
artificial intelligence
model checker
transition systems
finite number
formal verification