Keyword:Algebraic Modal Logic

Publications
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