Keyword:dynamic epistemic logic

Papers
Action Models for Coalition Logic Rustam Galimullin and Thomas Ågotnes EasyChair Preprint no. 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