Reasoning in interval temporal logic

This publication has 5 references indexed in Scilit:

• A Temporal Logic for Multi-Level Reasoning About Hardware,
  Published by Defense Technical Information Center (DTIC) ,1982
• Lucid, a nonprocedural language with iteration
  Communications of the ACM, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Lucid—A Formal System for Writing and Proving Programs
  SIAM Journal on Computing, 1976
• Temporal Logic
  Published by Springer Nature ,1971