Model theory for modal logic : Kripke models for modal predicate calculi /

Bibliographic Details
Main Author:	Bowen, Kenneth A. (Kenneth Alan)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht, Holland ; Boston : D. Reidel Pub. Co., [1979]
Series:	Synthese library ; v. 127.
Subjects:	Modality (Logic) Model theory. Predicate calculus. Modalité (Logique) Modèles, Théorie des. Calcul des prédicats. Modale logica. Modèles, théorie des. Modallogik. Modelltheorie. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online