Syntactic awareness in logical dynamics

• Autores: Davide Grossi, Fernando R. Velázquez Quesada
• Localización: Synthese, ISSN-e 1573-0964, Vol. 192, Nº. 12, 2015, págs. 4071-4105
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, the logics presented are all simple refinements of the logic of public announcements.