Title: Tools and Techniques in Modal Logic