Why so Many Temporal Logics Climb up the Trees?

Alexander Moshe Rabinovich Shahar Maoz

Published in: MFCS (2000)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
decision trees
modal logic
satisfiability problem
concurrent systems
verification method
reactive systems
predicate logic
temporal resolution
temporal knowledge
transition systems
markov chain
tree structure
linear time temporal logic