Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

234987

Syntactic awareness in logical dynamics

Davide GrossiFernando R. Velázquez-Quesada

pp. 4071-4105

Résumé

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.

Détails de la publication

Publié dans:

Eronen Markus, van Riel Raphael (2015) Understand though modeling. Synthese 192 (12).

Pages: 4071-4105

DOI: 10.1007/s11229-015-0733-1

Citation complète:

Grossi Davide, Velázquez-Quesada Fernando R., 2015, Syntactic awareness in logical dynamics. Synthese 192 (12), Understand though modeling, 4071-4105. https://doi.org/10.1007/s11229-015-0733-1.