Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Dimitar P. Guelev

Published in: CoRR (2007)

Keyphrases

temporal logic
model checking
modal logic
dynamic constraints
transition systems
reactive systems
real numbers
provably correct
complex systems
verification method
computation tree logic
distributed systems
knowledge based systems
satisfiability problem
decision procedures
concurrent systems