Epistemic logic door