Private Dynamic Epistemic Friendship Logic.

Henrique Viana Arnaldo Araújo Lucas Leite João F. L. Alcântara

Published in: BRACIS (2014)

Keyphrases

epistemic logic
social network analysis
dynamic environments
social networking
automated reasoning
neural network
social networks
social media
logic programming
online social networks
modal logic
social networking sites
social capital
modal operators