Natural Deduction Based upon Strict Implication for Normal Modal Logics
Claudio Cerrato · Notre Dame Journal of Formal Logic · 1994
We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.