Reasoning about epistemic social network dynamics using dynamic term-modal logic.

Abstract

Este artículo presenta un marco lógico para el estudio de redes sociales basado en la lógica término-modal dinámica, una variante cuantificada de la lógica epistémica dinámica. A diferencia de la lógica epistémica dinámica estándar, en la que se asume que es de conocimiento común a quiénes se refieren los nombres de los agentes, el enfoque propuesto permite representar dinámicas con incertidumbre sobre la identidad de los agentes. El trabajo ilustra situaciones en las que dicha incertidumbre y las distinciones de re/de dicto resultan fundamentales para la epistemología de las redes sociales. Desde el punto de vista técnico, se demuestra que la semántica del marco puede representar una clase ampliamente utilizada de modelos epistémicos híbridos para redes sociales. Asimismo, se muestra que el sistema puede codificar dinámicas previamente estudiadas para las cuales la obtención de una lógica completa había quedado abierta. Dado que existen sistemas completos de axiomas de reducción, se obtiene un sistema lógico completo para las dinámicas analizadas.This paper presents a framework for logics of social networks based on dynamic term-modal logic, a quantified variant of dynamic epistemic logic. In contrast to standard dynamic epistemic logic, where it is commonly knowneh knowledge to whom agent names refer, the proposed framework can represent dynamics involving uncertainty about agent identity. The authors illustrate scenarios in which such uncertainty and de re/de dicto distinctions are crucial for the epistemic analysis of social networks. Technically, the paper shows that the semantics of the framework can represent a well-known class of hybrid epistemic social network models. It also demonstrates that the framework can encode previously discussed dynamics for which the problem of finding a complete logic had remained open. Since complete systems of reduction axioms exist, the approach yields a complete logical system for the dynamics under consideration.