12:57Symbolic Logic 25: Rules of Inference and Tree Method for Modal LogicJohnny's Math267 viewsView & Download