Before announcement

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

Mots clés

Modal logic Before announcement Public announcement logic

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Fichier principal

balbiani_19192.pdf (422.38 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO) : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01650180

Soumis le : mardi 28 novembre 2017-12:04:39

Dernière modification le : mercredi 24 janvier 2024-11:56:14

Dates et versions

hal-01650180 , version 1 (28-11-2017)

Identifiants

HAL Id : hal-01650180 , version 1

Citer

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig. Before announcement. 11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77. ⟨hal-01650180⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA UT1-CAPITOLE UNIV-LORRAINE LORIA LORIA-NLPKD IRIT IRIT-LILAC IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

132 Consultations

60 Téléchargements