Blackburn, Patrick. <br/><br/>
Modal Logic: 
Blackburn, Patrick. 
 - Cambridge Tracts in Theoretical Computer Science 53. 
 - London:  Cambridge University Press,  2001. 
 - xxii, 554p.: 
<br/><br/><label>ISBN: </label>0521527147 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science Modal Logic. 
<br/><br/><label>Dewey Class. No.: </label>511.321