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

Bibliographic Details

Main Author:	Bowen, Kenneth A. (Kenneth Alan)
Format:	Book
Language:	English
Published:	Dordrecht, Holland ; Boston : D. Reidel Pub. Co., [1979]
Series:	Synthese library ; v. 127
Subjects:	Modality (Logic) Model theory. Predicate calculus.