Logic of visibility in social networks

DOI10.1007/978-3-031-15298-6_12OpenAlexW4297809210MaRDI QIDQ6160743

Rustam Galimullin, Marija Slavkovik, Mina Young Pedersen

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_12

zbMATH Keywords

modal logicreachabilitysocial networksvisibility

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• A STIT logic for reasoning about social influence
• Pure extensions, proof rules, and hybrid axiomatics
• Dynamic epistemic logic
• Propositional dynamic logic of regular programs
• Bisimulations for temporal logic
• Reflecting on social influence in networks
• Dynamic epistemic logics of diffusion and prediction in social networks
• A logic for diffusion in social networks
• Social bot detection as a temporal logic model checking problem
• Analyzing echo chambers: a logic of strong and weak ties
• Logics for epistemic programs
• Logics of public communications
• Model checking hybrid logics (with an application to semistructured data)
• ARROW UPDATE LOGIC
• Modal Logics and Group Polarization
• Further Steps Towards a Logic of Polarization in Social Networks
• Markov chain model representation of information diffusion in social networks

This page was built for publication: Logic of visibility in social networks