Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Andrés Occhipinti Liberman*, Rasmus K. Rendsvig

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

27 Downloads (Pure)

Abstract

Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic ((formula presented)), a quantified variant of dynamic epistemic logic ((formula presented)). In contrast with (formula presented) where it is commonly known to whom agent names refer, (formula presented) can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics. Technically, we show that (formula presented) semantics can represent a popular class of hybrid logic epistemic social network models. We also show that (formula presented) can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for (formula presented), this yields a complete system for the dynamics in question.

Original languageEnglish
Title of host publicationProceedings of 7th International Workshop on Logic, Rationality, and Interaction
EditorsPatrick Blackburn, Emiliano Lorini, Meiyun Guo
Number of pages15
PublisherSpringer
Publication date1 Jan 2019
Pages168-182
ISBN (Print)9783662602911
DOIs
Publication statusPublished - 1 Jan 2019
Event7th International Workshop on Logic, Rationality, and Interaction, LORI 2019 - Chongqing, China
Duration: 18 Oct 201921 Oct 2019

Conference

Conference7th International Workshop on Logic, Rationality, and Interaction, LORI 2019
CountryChina
CityChongqing
Period18/10/201921/10/2019
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11813 LNCS
ISSN0302-9743

Keywords

  • Dynamic epistemic logic
  • Social networks
  • Term-modal logic

Fingerprint Dive into the research topics of 'Dynamic Term-Modal Logic for Epistemic Social Network Dynamics'. Together they form a unique fingerprint.

Cite this