Modal logic : - Chellas, Brian F. (Cambridge University press, 1980)