Before announcement
Résumé
We axiomatize the mono-agent logic of knowledge with public announcements and converse public announcements. A special variant of our logic is determined by the model of maximal ignorance wherein the agent considers all valuations of atomic formulas possible
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...