10 Perplexing Puzzle for the Master Modal Logician
March 6, 2016 1:30 pm
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).
Category: Philosophy