Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Andrés Occhipinti Liberman; Rasmus K. Rendsvig

doi:10.1007/978-3-662-60292-8_13

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Andrés Occhipinti Liberman, Rasmus K. Rendsvig

Institut for Kommunikation

2 Citationer (Scopus)

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.

Originalsprog	Engelsk
Titel	Logic, Rationality, and Interaction. LORI 2019.
Antal sider	15
Vol/bind	11813
Forlag	Springer
Publikationsdato	2019
Sider	168-182
ISBN (Trykt)	9783662602911
DOI	https://doi.org/10.1007/978-3-662-60292-8_13
Status	Udgivet - 2019

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-662-60292-8_13

Andre filer og links

http://www.mendeley.com/research/dynamic-termmodal-logic-epistemic-social-network-dynamics

Citationsformater

@inbook{efdf64286d5b4ff4b4cb37d9d100b92c,

title = "Dynamic Term-Modal Logic for Epistemic Social Network Dynamics",

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.",

author = "Liberman, {Andr{\'e}s Occhipinti} and Rendsvig, {Rasmus K.}",

year = "2019",

doi = "10.1007/978-3-662-60292-8_13",

language = "English",

isbn = "9783662602911",

volume = "11813",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "168--182",

booktitle = "Logic, Rationality, and Interaction. LORI 2019.",

}

TY - CHAP

T1 - Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

AU - Liberman, Andrés Occhipinti

AU - Rendsvig, Rasmus K.

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - http://www.mendeley.com/research/dynamic-termmodal-logic-epistemic-social-network-dynamics

U2 - 10.1007/978-3-662-60292-8_13

DO - 10.1007/978-3-662-60292-8_13

M3 - Book chapter

SN - 9783662602911

VL - 11813

T3 - Lecture Notes in Computer Science

SP - 168

EP - 182

BT - Logic, Rationality, and Interaction. LORI 2019.

PB - Springer

ER -

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Abstract

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Citationsformater