An Infinite Hierarchy of Temporal Logics over Branching Time.

Alexander Moshe Rabinovich Shahar Maoz

Published in: Inf. Comput. (2001)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
mazurkiewicz traces
transition systems
linear temporal logic
verification method
multi agent
hierarchical structure
predicate logic
bounded model checking
multi agent systems
knowledge representation
computation tree logic