References

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