An Automata-Theoretic Completeness Proof for Interval Temporal Logic.

Ben C. Moszkowski

Published in: ICALP (2000)

Keyphrases

automata theoretic
temporal logic
model checking
modal logic
satisfiability problem
verification method
theorem proving
theorem prover
belief revision
search algorithm
decision procedures
linear temporal logic