Linear-time temporal logics with Presburger constraints: an overview.

Stéphane Demri

Published in: J. Appl. Non Class. Logics (2006)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
automata theoretic
modal logic
satisfiability problem
belief revision
constraint programming
predicate logic
temporal knowledge
concurrent systems
constraint satisfaction
worst case
transition systems