Logic in Computer Science: logics for modelling information flow in multi-agent systems

Supervisor	Alexandru Baltag
Suitable for	MSc in Computer Science

Abstract

Dr Alexandru Baltag is available to supervise projects in this area.