Claudio Cerrato. Natural Deduction Based upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic, 35(4):471-495, 1994.
@article{Cerrato94,
title = {Natural Deduction Based upon Strict Implication for Normal Modal Logics},
author = {Claudio Cerrato},
year = {1994},
tags = {rule-based, modal logic, logic},
researchr = {https://researchr.org/publication/Cerrato94},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {35},
number = {4},
pages = {471-495},
}