Guillaume Aucher
Guido Boella
Leendert van der Torre
2011
A dynamic logic for privacy compliance
Artificial Intelligence and Law
19
2-3
187–231
10.1007/s10506-011-9114-3
Zoé Christoff
Jens Ulrik Hansen
2015
A logic for diffusion in social networks
Journal of Applied Logic
13
48 – 77
10.1016/j.jal.2014.11.011
Jan van Eijck
2007
DEMO – A Demo of Epistemic Modelling
Technical Report
Amsterdam University Press
Kayhan Erciyes
2014
Complex Networks: An Algorithmic Perspective
1st
CRC Press, Inc.
Boca Raton, FL, USA
10.1201/b17409
Ronald Fagin
Joseph Y Halpern
Yoram Moses
Moshe Y Vardi
2003
Reasoning about Knowledge
The MIT press
Cambridge, MA, USA
Peter Gammie
Ron van der Meyden
2004
MCK: Model Checking the Logic of Knowledge
CAV
LNCS
3114
Springer
479–483
10.1007/978-3-540-27813-9_41
Andrew K. Hirsch
Michael R. Clarkson
2013
Belief Semantics of Authorization Logic
CCS
ACM
561–572
10.1145/2508859.2516667
Yabing Liu
Krishna P. Gummadi
Balachander Krishnamurthy
Alan Mislove
2011
Analyzing Facebook Privacy Settings: User Expectations vs. Reality
ACM SIGCOMM
IMC '11
ACM
61–70
10.1145/2068816.2068823
Alessio Lomuscio
Hongyang Qu
Franco Raimondi
2017
MCMAS: an open-source model checker for the verification of multi-agent systems
STTT
19
1
9–30
10.1007/s10009-015-0378-x
Raúl Pardo
Musard Balliu
Gerardo Schneider
2017
Formalising privacy policies in social networks
Journal of Logical and Algebraic Methods in Programming
90
125–157
10.1016/j.jlamp.2017.02.008
Raúl Pardo
Gerardo Schneider
2014
A Formal Privacy Policy Framework for Social Networks
SEFM'14
LNCS
8702
Springer
378–392
10.1007/978-3-319-10431-7_30
Raúl Pardo
Gerardo Schneider
2017
Model Checking Social Network Models (Extended Version)
Technical Report
Chalmers University of Technology
http://www.cse.chalmers.se/~pardo/papers/model-checking-SNM-full-version.pdf
Ji Ruan
Michael Thielscher
2011
A logic for knowledge flow in social networks
IBERAMIA
Springer
511–520
10.1007/978-3-642-25832-9_52
Jeremy Seligman
Fenrong Liu
Patrick Girard
2013
Facebook and the Epistemic Logic of Friendship
CoRR
abs/1310.6440