Natural deduction rules for modal logics (1972)

by T W Satre
Venue:Notre Dame Journal of Formal Logic