TY  - BOOK
AU  - Bowen, Kenneth A
TI  - Model theory for modal logic: Kripke models for modal predicate calculi 
SN  - 90-277-0929-7
AV  - QA 9.46 B68.1979
PY  - 1979///
CY  - Boston
PB  - D. Reidel
KW  - Modalidad (Lógica)
KW  - Teoría del modelo
KW  - Cálculo predicativo
N1  - Incluye bibliografía e índice
ER  -