TY - BOOK AU - Snyder,D. Paul TI - MODAL LOGIC AND ITS APPLICATIONS U1 - 164 PY - 1971/// CY - PB - Van Nostrand Reinhold, New York KW - Logic, Symbolic And Mathematical KW - Modality(Logic) ER -