TY  - BOOK
AU  - Hughes G E
AU  -  Cresswell M J
TI  - Companion to modal logic
U1  - R141, M4 
PY  - 1984///
CY  - New York  
PB  -  Methuen      
ER  -