JANCL proofs

3 Propositional Proofs

4 PITL Axiom System

4.1 Axioms and Inference Rules for PITL

5 Deduction of PTL Axioms from the FL Axiom System

4 PITL Axiom System

4.1 Axioms and Inference Rules for PITL

5 Deduction of PTL Axioms from the FL Axiom System

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.