10 Perplexing Puzzle for the Master Modal Logician

10 Modal Logic Puzzles for you to test your modal logic skills with. Including proofs of the various iterations of Axiom K, and the consequences of the Necessitation Rule and Axiom K (distributing and exporting necessity and possibility across implication, conjunction and disjunction).