Modal and Epistemic Logic, 13–14 October. tr 2011, 5 (11).