Reasoning about Dynamic Epistemic Logic
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh · ePrints Soton (University of Southampton) · 2004
We present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multi-agent systems.We contribute to it by equipping it with a logical account of resources, a semi-automatic way of reasoning through the algebra and sequent calculus, and finally by generalizing it to non-boolean settings.