Blackburn, Patrick  1959- <br/><br/>
Modal logic / 
Patrick Blackburn, Maarten de Rijke, Yde Venema 
 - Cambridge :  Cambridge Univ. Press,  2002 
 - 554 p. :  ill. 
 - Cambridge tracts in theoretical computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0521527147 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MODALITY (LOGIC)
<br/><br/><label>LC Class. No.: </label>QA9.46  / B522M