Tools and Techniques in Modal Logic