Explicit Modal Logic

Speaker: 
Walter Dean (Warwick)
Date: 
02 Apr, 2010