First-order modal logic by Melvin Fitting | Menrva Books | MenrvaBooks