Modal logic - Chagrov, Alexander (Oxford logic guides, 1997)