English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Logics for social networks have been studied in recent literature. This paperpresents a framework based on *dynamic term-modal logic* (DTML), a quantifiedvariant of dynamic epistemic logic (DEL). In contrast with DEL where it iscommonly known to whom agent names refer, DTML can represent dynamics withuncertainty about agent identity. We exemplify dynamics where such uncertaintyand de re/de dicto distinctions are key to social network epistemics.Technically, we show that DTML semantics can represent a popular class ofhybrid logic epistemic social network models. We also show that DTML can encodepreviously discussed dynamics for which finding a complete logic was left open.As complete reduction axioms systems exist for DTML, this yields a completesystem for the dynamics in question.

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)