Logic

Research Frontiers in Public Announcement Logic and Information Updates

Studies logical frameworks for modeling how public announcements change knowledge and belief states in multi-agent epistemic systems.

All Logic PhD categories