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: