Slide 1Logic Puzzles and Modal Logic Slide 2 Closure properties in modal logic Slide 3 Slide 4 Specific modal logics Specific modal logics are specified by giving formula…