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

Full description

Bibliographic Details

Main Author:	Fitting, Melvin
Corporate Author:	SpringerLink (Online service)
Other Authors:	Mendelsohn, Richard L.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1998.
Series:	Synthese library ; 277.
Subjects:	Philosophy (General) Logic. Logic, Symbolic and mathematical. Computational linguistics. Electronic books.
Online Access:	Connect to the full text of this electronic book