Goodreads helps you keep track of books you want to read.
Start by marking “First-Order Modal Logic” as Want to Read:
First-Order Modal Logic
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical ...more
Paperback, 292 pages
Published August 31st 1999 by Springer
(first published October 1st 1998)
To see what your friends thought of this book, please sign up.