The Last Paper on the Halpern-Shoham Interval Temporal Logic

Jerzy Marcinkowski Jakub Michaliszyn

Published in: CoRR (2010)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
transition systems
verification method
belief revision
concurrent systems
reactive systems
linear temporal logic
temporal knowledge
bounded model checking
computation tree logic
automata theoretic