Temporal Logics over Transitive States.

Boris Konev Frank Wolter Michael Zakharyaschev

Published in: CADE (2005)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems
belief revision
predicate logic
verification method
reactive systems
transition systems
transitive closure
temporal knowledge
linear temporal logic
heuristic search
temporal resolution