Recent work in epistemic logic