ITL
© 1996-2018







Part III
LMCS proofs

Proofs taken from

Ben C. Moszkowski. “A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time”. In: Logical Methods in Computer Science Journal 8.3 (2012). url.







2018-10-21
Contact | Home | ITL home | Course | Proofs | Algebra | FL