Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.

Alexander Bolotov Clare Dixon

Published in: TIME (2000)

Keyphrases

temporal resolution
temporal logic
model checking
modal logic
concurrent systems
mazurkiewicz traces
belief revision
satisfiability problem
temporal knowledge
predicate logic
transition systems
verification method
spatial resolution
reactive systems
search algorithm
image quality
image analysis