TY  - BOOK
AU  - Bowen Kenneth A
TI  - Model theory for modal logic :  Krinka model for modalpredicate calculi
T2  - Synthese Library; 127
U1  - R14, L9 
PY  - 1979///
CY  - Dordrecht
PB  - D Reidel Publishing     
KW  - PHILOSOPHY
ER  -