Handbook of modal logic - Blackburn, Patrick; Benthem, Johan Van; Wolter, Frank (Studies in logic and practical reasoning, 2007)