Tableau methods of proof for modal logics (1972)

by Melvin Fitting
Venue:Notre Dame Journal of Formal Logic