Title: Tools and techniques in modal logic
Subjects: Modality (Logic), Logic, symbolic and mathematical