TY  - BOOK
AU  - Blackburn,Patrick
AU  - Rijke,Maarten de
AU  - Venema,Yde
TI  - Modal logic
T2  - Cambridge tracts in theoretical computer science
SN  - 0521527147
AV  - QA9.46 B522M
PY  - 2002///
CY  - Cambridge
PB  - Cambridge Univ. Press
KW  - MODALITY (LOGIC)
N1  - Includes bibliographical references and index
ER  -