Epistemic logic in multi-agent systems provides a formal framework for modelling and analysing how autonomous agents acquire, represent and reason about knowledge and beliefs. By employing modal ...