{"id":1845,"date":"2016-05-22T13:43:43","date_gmt":"2016-05-22T05:43:43","guid":{"rendered":"http:\/\/www.xixilogic.org\/?p=1845"},"modified":"2016-11-10T17:22:09","modified_gmt":"2016-11-10T09:22:09","slug":"arbitrary-tweeting-twitter-logic","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2016\/05\/arbitrary-tweeting-twitter-logic\/","title":{"rendered":"Zuojun Xiong: Arbitrary-tweeting Twitter Logic"},"content":{"rendered":"
\"poster34\"<\/a><\/div>\n

Xixi Logic Seminars #34<\/strong><\/p>\n

Speaker:<\/strong> Zuojun Xiong
\nDate & Time:<\/strong> 25 May 2016 (Wednesday), 13:30 \u2013 15:00
\n Place:<\/strong> Seminar room #259, Main teaching building, Xixi campus, Zhejiang University<\/p>\n

Arbitrary-tweeting Twitter Logic<\/strong><\/p>\n

In this paper, we have defined an Arbitrary-tweeting Twitter Logic (ATL<\/span>) over a finite set of agents and a set of atomic propositional letters. We take agent’s knowledge as a set (or subset) of proposition logic, \u00a0agents can tweet their knowledge, and only its followers will get the tweets. Scenarios like drunk-tweets can occur in our logic.\u00a0 The twitter logic without the arbitrary-tweeting operator is strongly complete, and ATL<\/span> is strongly complete with respect to an Infinitary<\/span> proof system.<\/p>\n

 <\/p>\n

\"DSC02805\"<\/a> \"DSC02807\"<\/a> \"DSC02808\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Xixi Logic Seminars #34 Speaker: Zuojun Xiong Date & Time: 25 May 2016 (Wednesday), 13:30 \u2013 15:00 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Arbitrary-tweeting Twitter Logic In this paper, we have defined an Arbitrary-tweeting Twitter …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1845","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1845","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=1845"}],"version-history":[{"count":7,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1845\/revisions"}],"predecessor-version":[{"id":2243,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1845\/revisions\/2243"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=1845"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=1845"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=1845"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}