© 1996-2019







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.







2019-01-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL