Handbook of Modal Logic by Patrick Blackburn