Natural Deduction using Strict Implication
3
Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication.