What Do We Accept After an Announcement ? (KRAMAS 2008)
Résumé
The logic of collective acceptance is an alternative to the logic of common belief. We study its extension by private announcements in the sense of Baltag et col., where we consider two kinds of announcements: assertions and retractions. We show that reduction axioms can be given for both of them.