Model theory for modal logic
Subtitle: Kripke models for modal predicate calculi
By: Kenneth A. Bowen.
Series: Synthese library ; v. 127
Publisher: D. Reidel Pub. Co.
Published: 1979
Place of publication: Dordrecht, Holland; Boston
Language: eng
Number of pages: 127
Subjects: Modality (Logic); Model theory; Predicate calculus
Other titles: Kripke models for modal predicate calculi.
Notes: Bibliography: p. 119-122.
Includes indexes.