First-order modal logic - Fitting, Melvin, 1942-; Mendelsohn, Richard L., 1944- (Dordrecht : Kluwer Academic Publishers, 1998)
Keywords: modalita (logika); modality (logic)