TY  - BOOK
AU  - Konyndyk, Kenneth.  
TI  - Introductory modal logic
SN  - 0268011591 (pbk.) 
AV  - BC199.M6 K66 1986 
PY  - 1986///.
CY  - Notre Dame, Ind.
PB  - University of Notre Dame Press,   
KW  - Modality (Logic)
N1  - Includes bibliography: p. 131-133.
ER  -