First-Order Modal Logic by M. Fitting, Richard L. Mendelsohn.

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 provid...

Full description

Saved in:

Bibliographic Details
Main Authors:	Fitting, M. (Author), Mendelsohn, Richard L. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 1998.
Edition:	1st ed. 1998.
Series:	Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 277 Springer eBook Collection.
Subjects:	Logic. Mathematical logic. Computational linguistics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Copy 1	Available

First-Order Modal Logic by M. Fitting, Richard L. Mendelsohn.

‌

Online

Similar Items