Modal logic /
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema - Cambridge : Cambridge Univ. Press, 2002 - 554 p. : ill. - Cambridge tracts in theoretical computer science .
Includes bibliographical references and index
0521527147
MODALITY (LOGIC)
QA9.46 / B522M