Xixi Logic Seminars #34

Speaker: Zuojun Xiong
Date & Time: 25 May 2016 (Wednesday), 13:30 – 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 Logic (ATL) 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,  agents can tweet their knowledge, and only its followers will get the tweets. Scenarios like drunk-tweets can occur in our logic.  The twitter logic without the arbitrary-tweeting operator is strongly complete, and ATL is strongly complete with respect to an Infinitary proof system.