Announcement as effort on topological spaces.

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intui...

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 196; no. 7; pp. 2927 - 2970
Autores principales:	van Ditmarsch, Hans, Knight, Sophia, Özgün, Aybüke
Formato:	Artículo
Publicado:	Springer Nature Jul2019
Materias:	Epistemic logic Announcements Modal logic Logic Topological spaces
Acceso en línea:	Ver este registro en EBSCOhost