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