TY - BOOK AU - Chellas, Brian F. TI - Model logic: AN INTRODUCTION SN - 052122476 U1 - 160 PY - 1980/// CY - Cambridge PB - University Press KW - Modality (Logic) ER -