An educational epistemic model checker for Philosophy students