dc.contributor.author |
Xiong, ZJ |
en |
dc.contributor.author |
Agotnes, T |
en |
dc.contributor.author |
Seligman, Jeremy |
en |
dc.contributor.author |
Zhu, R |
en |
dc.contributor.editor |
Baltag, A |
en |
dc.contributor.editor |
Seligman, JM |
en |
dc.contributor.editor |
Yamada, T |
en |
dc.coverage.spatial |
Sapporo, Japan |
en |
dc.date.accessioned |
2018-10-07T20:31:38Z |
en |
dc.date.issued |
2017-08-17 |
en |
dc.identifier.citation |
6th International Workshop on Logic, Rationality and Interaction (LORI 6), Sapporo, Japan, 11 Sep 2017 - 14 Sep 2017. Editors: Baltag A, Seligman JM, Yamada T. Logic, rationality, and interaction: 6th International Workshop, LORI 2017, Proceedings. Springer. 49-64. 17 Aug 2017 |
en |
dc.identifier.isbn |
978-3-662-55665-8 |
en |
dc.identifier.issn |
0302-9743 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/39045 |
en |
dc.description.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. |
en |
dc.publisher |
Springer Verlag |
en |
dc.relation.ispartof |
6th International Workshop on Logic, Rationality and Interaction (LORI 6) |
en |
dc.relation.ispartofseries |
Lecture Notes in Computer Science: Logic, rationality, and interaction: 6th International Workshop, LORI 2017, Proceedings |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights |
his is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-3-662-55665-8_4 |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.rights.uri |
https://www.springer.com/gb/open-access/authors-rights/self-archiving-policy/2124 |
en |
dc.title |
Towards a Logic of Tweeting |
en |
dc.type |
Conference Item |
en |
dc.identifier.doi |
10.1007/978-3-662-55665-8_4 |
en |
pubs.begin-page |
49 |
en |
pubs.volume |
LNCS 10455 |
en |
dc.rights.holder |
Copyright: Springer |
en |
pubs.end-page |
64 |
en |
pubs.finish-date |
2017-09-14 |
en |
pubs.start-date |
2017-09-11 |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |
pubs.subtype |
Proceedings |
en |
pubs.elements-id |
649225 |
en |
pubs.org-id |
Arts |
en |
pubs.org-id |
Humanities |
en |
pubs.org-id |
Philosophy |
en |
dc.identifier.eissn |
1611-3349 |
en |
pubs.record-created-at-source-date |
2017-08-15 |
en |