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 language | English |
---|---|
Title of host publication | Proceedings of 7th International Workshop on Logic, Rationality, and Interaction |
Editors | Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
Number of pages | 15 |
Publisher | Springer |
Publication date | 1 Jan 2019 |
Pages | 168-182 |
ISBN (Print) | 9783662602911 |
DOIs | |
Publication status | Published - 1 Jan 2019 |
Event | 7th International Workshop on Logic, Rationality, and Interaction - Chongqing, China Duration: 18 Oct 2019 → 21 Oct 2019 Conference number: 7 https://golori.org/lori2019/ |
Conference
Conference | 7th International Workshop on Logic, Rationality, and Interaction |
---|---|
Number | 7 |
Country/Territory | China |
City | Chongqing |
Period | 18/10/2019 → 21/10/2019 |
Internet address |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11813 LNCS |
ISSN | 0302-9743 |
Keywords
- Dynamic epistemic logic
- Social networks
- Term-modal logic