I own a modal logic textbook used by a course in a philosophy department, and on any given page it looks an awful lot like a math textbook except that the presentation is far friendlier and the explanations are better than are in 99% of math books.
It contains lots and lots of exercises.