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).

About The Author

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>