Facebook and the epistemic logic of friendship.
Jeremy SeligmanFenrong LiuPatrick GirardPublished in: TARK (2013)
Keyphrases
- epistemic logic
- online social networks
- social networks
- social networking
- social media
- social networking sites
- social relationships
- model checking
- modal logic
- dynamic epistemic logic
- logical framework
- inference rules
- multi agent systems
- formal semantics
- social network analysis
- temporal logic
- mathematical theory
- multi faceted
- social graph
- computation tree logic
- multi agent
- link prediction