Keyword:dynamic epistemic logic

Publications
Action Models for Coalition Logic Rustam Galimullin and Thomas Ågotnes EasyChair Preprint 8492
Towards a Logic for Reasoning About Learning in a Changing World Prakash Panangaden and Mehrnoosh Sadrzadeh In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility