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