Part II
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

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.

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024