TY - BOOK AU - Synder D Paul TI - Modal logic and its applications U1 - R1, L1 PY - 1971/// KW - PHILOSOPHY ER -