ITL
© 1996-2018







Part I
Imperative Reasoning proofs

Proofs taken from

Ben C. Moszkowski. “Imperative Reasoning in Interval Temporal Logic”, Internal Report, University of Newcastle upon Tyne.







2018-02-26
Contact | Home | ITL home | Course | Proofs | Algebra | FL