Three Logicians Walk into a Bar—a Modest Proposal for Teaching Epistemic Logic . tr 2015, 9 (3).