Monodic fragments of first-order temporal logics: 2000-2001 A.D.

Ian M. Hodkinson Frank Wolter Michael Zakharyaschev

Published in: LPAR (2001)

Keyphrases

mazurkiewicz traces
temporal logic
predicate logic
model checking
satisfiability problem
linear temporal logic
verification method
concurrent systems
belief revision
modal logic
spatial information
computation tree logic