First-order modal logic
By: Melvin Fitting and Richard L. Mendelsohn.
Contributors: Mendelsohn, Richard L.
Series: Synthese library ;
Publisher: Kluwer Academic
Published: 1998
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 287
Subjects: Modality (Logic)
Notes: Includes bibliographical references (p. 277-281) and index.