TY - BOOK AU - Hugnes G E AU - Cresswell M J TI - Introduction on to Modal logic U1 - R1, L21 PY - 1972/// CY - London PB - Methuen KW - LOGIC ER -