Facebook and the Epistemic Logic of Friendship.
Jeremy SeligmanFenrong LiuPatrick GirardPublished in: CoRR (2013)
Keyphrases
- epistemic logic
- online social networks
- social networks
- social networking
- social media
- social networking sites
- social relationships
- modal logic
- model checking
- multi agent systems
- dynamic epistemic logic
- formal semantics
- inference rules
- social network analysis
- logical framework
- multi faceted
- mathematical theory
- model checker
- social graph
- computation tree logic
- network structure
- link prediction
- artificial intelligence
- reverse engineering
- description language
- knowledge based systems
- natural language
- multi agent