First-order modal logic / Melvin Fitting, Richard L. Mendelsohn.

This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Authors:	Fitting, Melvin, 1942- (Author), Mendelsohn, Richard L. (Author)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2023]
Edition:	Second edition.
Series:	Synthese library ; v. 480.
Subjects:	Modality (Logic)