Modal logic - Blackburn, Patrick 1959- (Cambridge University Press, 2001)