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