Modal logic An introduction. - Chellas Brian F (1980)