Fitting, Melvin First-order modal logic Melvin Fitting and Richard L. Mendelsohn - Dordrecht Boston Kluwer Academic c1998 - xii, 287 p ill 25 cm - Synthese library v. 277 . Cuprinde Bibliografie eng ISBN: 079235334X (HB : alk. paper) 0792353358 (pbk. : alk. paper) LCCN: 98037504 Subjects--Topical Terms: Modality (Logic) Dewey Class. No.: 510.6