TY  - BOOK
AU  - Bowen,Kenneth A.
TI  - Model theory for modal logic: kripke models for modal predicate calcule 
U1  - 510.1 
PY  - 1979///
CY  - Dordrecht
PB  - D. Reidel Pub.
KW  - Modality (Logic)
KW  - Model theory
KW  - Predicate calculus
N1  - Includes index; Bibliography: p. 119-122
ER  -