Anyone who’s ever scratched their head over their car manual or struggled to parse a website’s terms of service knows: It’s hard to read about a topic you don ...

Epistemic logic constitutes a rigorous framework for representing and reasoning about knowledge and belief. Central to this discipline is the formalisation of how agents acquire, retain and attribute ...