Logic

Research Frontiers in Public Announcement Logic and Information Update

Study of dynamic epistemic logics where agents update their knowledge based on public announcements and information flows.

All Logic PhD categories