Handbook of modal logic - Blackburn, Patrick, 1959- (Studies in logic and practical reasoning, 2007)