Melvin Fitting+notes+modal Logic.pdf [Free Download!]