Category Archives : 2014-edu


[tutorial] Logic, Information, and Interaction (Johan van Benthem)

Time: 2014 Nov. 1, 4-6, 8, 11-13, 15. Venue: Rm 346 Xinzhai (新斋), Tsinghua University, Beijing. This is a two-week intensive seminar. Aims: Bring you up to date about some current topics and research styles in dynamic logics of agency, Get to know you, Bring you in touch with students in Amsterdam and Stanford.