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

Saved in:
Bibliographic Details
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:
Online Access:Click for online access

Similar Items