TY - BOOK AU - Blackburn,Patrick AU - Blackburn, Patrick. ED - Rijke de Maarten ED - Rijke de Maarten ED - Venema Yde TI - Modal Logic SN - 0521527147 U1 - 511.321 PY - 2001/// CY - London PB - Cambridge University Press KW - Computer Science KW - Modal Logic ER -