ITL
© 1996-2018







Part II
JANCL proofs

Proofs taken from

Ben Moszkowski. “A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time”. In: Journal of Applied Non-Classical Logics 14.1–2 (2004), pp. 55–104. url.







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