First-order modal logic - Fitting Melvin; Mendelsohn Richard L (Dordrecht Kluwer Academic, 1998)
Keywords: Modality(Logic)