Epistemic logic can express the interaction between knowledge and belief in ways that AGM and non-mo...