Towards a Logic of Tweeting

Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui

doi:10.1007/978-3-662-55665-8_4

Cited by 7 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Xiong, Ågotnes, Seligman, Zhu introduced logic of tweeting that describes propagation of believes in a social network through public announcements [26].…”

Section: Literature Reviewmentioning

confidence: 99%

Group Conformity in Social Networks

Morrison

Naumov

2019

J of Log Lang and Inf

View full text Add to dashboard Cite

Diffusion in social networks is a result of agents' natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed "propositional opinion diffusion model" could be used to model an agent's conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole.The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation in this model. The logical system is an extension of Armstrong's axioms from database theory by one new axiom that captures the topological structure of the network.

show abstract

“…Xiong, Ågotnes, Seligman, Zhu introduced logic of tweeting that describes propagation of believes in a social network through public announcements [26].…”

Section: Literature Reviewmentioning

confidence: 99%

Group Conformity in Social Networks

Morrison

Naumov

2019

J of Log Lang and Inf

View full text Add to dashboard Cite

show abstract

“…Also, [27] cannot reason about knowledge. Recently, Xiong et al [29] presented a logic to reason about belief propagation in Twitter. The logic includes an (untimed) belief modality and actions, which are used in a dynamic logic fashion.…”

Section: Related Workmentioning

confidence: 99%

“…Instead, it is defined to reason about AGM belief revision, which is a more general setting than privacy in social networks. A logic to reason about how beliefs spread out in Twitter has been introduced in [29]. This logic, though tailored for social networks, does not include time-stamps, so it cannot be used for reasoning about time.…”

Section: Introductionmentioning

confidence: 99%

Timed Epistemic Knowledge Bases for Social Networks

2018

View full text Add to dashboard Cite

We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, but also about the moments at which events happen and new knowledge is acquired or deduced. Our logic includes both an epistemic operator and a belief operator, which allows to model the disclosure of information that may not be accurate.Our main motivation is to model rich privacy policies in online social networks. Online Social Networks (OSNs) are increasingly used for social interactions in the modern digital era, which bring new challenges and concerns in terms of privacy. Most social networks today offer very limited mechanisms to express the desires of users in terms of how information that affects their privacy is shared. In particular, most current privacy policy formalisms allow only static policies, which are not rich enough to express timed properties like "my location after work should not be disclosed to my boss". The logic we present in this paper enables to express rich properties and policies in terms of the knowledge available to the different users and the precise time of actions and deductions. Our framework can be instantiated for different OSNs, by specifying the effect of the actions in the evolution of the social network and in the knowledge disclosed to each agent.We present an algorithm for deducing knowledge, which can also be instantiated with different variants of how the epistemic information is preserved through time. Our algorithm allows to model not only social networks with eternal information but also networks with ephemeral disclosures. Policies are modelled as formulae in the logic, which are interpreted over timed traces representing the evolution of the social network. Alice picture 0 (Bob, pub) K 0 Alice B 0 Alice loc 0 (Bob, pub)

show abstract

“…More recently, logicians have taken up the challenge of formal reasoning about social networks and changes in agents's beliefs. Take for instance the Facebook logic [28] (an epistemic logic endowed with a symmetric "friendship" relation); the Tweeting logic [35] (formalizing announcements in a network); the logic for reasoning about social belief and change propagation [19], etc.…”

Section: Introductionmentioning

confidence: 99%

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

Freiman,

Olarte,

Pimentel

et al.

EPiC Series in Computing

View full text Add to dashboard Cite

Group polarization, the phenomenon where individuals become more extreme after in- teracting, has been gaining attention, especially with the rise of social media shaping peo- ple’s opinions. Recent interest has emerged in formal reasoning about group polarization using logical systems. In this work we consider the modal logic PNL that captures the no- tion of agents agreeing or disagreeing on a given topic. Our contribution involves enhancing PNL with advanced formal reasoning techniques, instead of relying on axiomatic systems for analyzing group polarization. To achieve this, we introduce a semantic game tailored for (hybrid) extensions of PNL. This game fosters dynamic reasoning about concrete net- work models, aligning with our goal of strengthening PNL’s effectiveness in studying group polarization. We show how this semantic game leads to a provability game by systemically exploring the truth in all models. This leads to the first cut-free sequent systems for some variants of PNL. Using polarization of formulas, the proposed calculi can be modularly adapted to consider different frame properties of the underlying model.

show abstract

Towards a Logic of Tweeting

Cited by 7 publications

References 8 publications

Group Conformity in Social Networks

Group Conformity in Social Networks

Timed Epistemic Knowledge Bases for Social Networks

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

Contact Info

Product

Resources

About