TY  - BOOK
AU  - Blackburn, Patrick.
AU  - de Rijke, Maarten.
AU  - Venema, Yde.
TI  - Modal Logic : (CTCS 53)
SN  - 0 521 80200 8
CY  - Cambridge
KW  - Modality (Logic)
ER  -