Modal Logic by Brian F. Chellas