Xixi Logic Seminars #65

Speakers:

Prof. Patrick Blackburn (Roskilde University)
Prof. Jeremy Seligman (University of Auckland)
Prof. Thomas Ågotnes (University of Bergen)

Date & Time: 14 May 2017 (Sunday), 9:30 – 12:00
Place: Room 229, Administrative Building, Xixi campus, Zhejiang University

Topics:

Patrick Blackburn: Sligman-style tableau systems for hybrid logic
Jeremy Seligman: Towards a logic of tweeting
Thomas Agontes: Quantified tweeting logic