TY - BOOK AU - Huges G E AU - Cresswell M J TI - Companion to modal logic U1 - R14, M4 PY - 1984/// CY - London PB - Methuen KW - PHILOSOPHY ER -