Skip to main content

2017 | OriginalPaper | Buchkapitel

Towards a Logic of Tweeting

verfasst von : Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu

Erschienen in: Logic, Rationality, and Interaction

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper we study the logical principles of a common type of network communication events that haven’t been studied from a logical perspective before, namely network announcements, or tweeting, i.e., simultaneously sending a message to all your friends in a social network. In particular, we develop and study a minimal modal logic for reasoning about propositional network announcements. The logical formalisation helps elucidate core logical principles of network announcements, as well as a number of assumptions that must be made in such reasoning. The main results are sound and complete axiomatisations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
2.
Zurück zum Zitat Baltag, A., Christoff, Z., Ulrik Hansen, J., Smets, S.: Logical Models of Informational Cascades. Studies in Logic. College Publications, London (2013)MATH Baltag, A., Christoff, Z., Ulrik Hansen, J., Smets, S.: Logical Models of Informational Cascades. Studies in Logic. College Publications, London (2013)MATH
3.
Zurück zum Zitat Christoff, Z.: Dynamic Logics of Networks. Ph.D. thesis, University of Amsterdam (2016) Christoff, Z.: Dynamic Logics of Networks. Ph.D. thesis, University of Amsterdam (2016)
6.
Zurück zum Zitat Harte, L.: Introduction to Data Multicasting. Althos Publishing, Raleigh (2008) Harte, L.: Introduction to Data Multicasting. Althos Publishing, Raleigh (2008)
7.
Zurück zum Zitat Hosszú, G.: Mediacommunication based on application-layer multi-cast. In: Encyclopedia of Virtual Communities and Technologies, pp. 302–307. IGI Global (2006) Hosszú, G.: Mediacommunication based on application-layer multi-cast. In: Encyclopedia of Virtual Communities and Technologies, pp. 302–307. IGI Global (2006)
8.
Zurück zum Zitat Pacuit, E., Parikh, R.: The logic of communication graphs. In: Leite, J., Omicini, A., Torroni, P., Yolum, I. (eds.) DALT 2004. LNCS, vol. 3476, pp. 256–269. Springer, Heidelberg (2005). doi:10.1007/11493402_15 CrossRef Pacuit, E., Parikh, R.: The logic of communication graphs. In: Leite, J., Omicini, A., Torroni, P., Yolum, I. (eds.) DALT 2004. LNCS, vol. 3476, pp. 256–269. Springer, Heidelberg (2005). doi:10.​1007/​11493402_​15 CrossRef
11.
Zurück zum Zitat Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Schipper, B.C. (ed.) Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, India, pp. 229–238 (2013) Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Schipper, B.C. (ed.) Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, India, pp. 229–238 (2013)
12.
Zurück zum Zitat van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Gossip in dynamic networks. Liber Amicorum Alberti. A Tribute to Albert Visser, pp. 91–98. College Publications, London (2016) van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Gossip in dynamic networks. Liber Amicorum Alberti. A Tribute to Albert Visser, pp. 91–98. College Publications, London (2016)
13.
Zurück zum Zitat van Eijck, J., Sietsma, F.: Message-generated kripke semantics. In: The 10th International Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1183–1184 (2011) van Eijck, J., Sietsma, F.: Message-generated kripke semantics. In: The 10th International Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1183–1184 (2011)
14.
Zurück zum Zitat Wang, Y., Sietsma, F., Eijck, J.: Logic of information flow on communication channels. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 130–147. Springer, Heidelberg (2011). doi:10.1007/978-3-642-20715-0_8 CrossRef Wang, Y., Sietsma, F., Eijck, J.: Logic of information flow on communication channels. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 130–147. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-20715-0_​8 CrossRef
Metadaten
Titel
Towards a Logic of Tweeting
verfasst von
Zuojun Xiong
Thomas Ågotnes
Jeremy Seligman
Rui Zhu
Copyright-Jahr
2017
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-55665-8_4