[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:

  1. Bring you up to date about some current topics and research styles in dynamic logics of agency,
  2. Get to know you,
  3. Bring you in touch with students in Amsterdam and Stanford.

Prerequisites Knowledge: first-­order logic (modal logic would help but not strictly necessary).

Thu-course-11.5-2

Topics and readings: Skim through readings before class to get a feeling for the topic, after class look up the details.

  • Nov 1: Introduction and getting acquainted (introduction chapters LDII and LiG)
  • Block 1: Information
    • Nov 4: Knowledge, update (LDII, ch. 2, 3)
    • Nov 5: Belief, evidence (LDII, ch. 7 + paper BenthemPacuit)
    • Nov 6: Probability (LDII, ch. 8 + note on qualitative probability)
    • Nov: 8 Discussion – Tracking information over time
  • Block 2: Interaction
    • Nov 11: Logic of extensive games at two levels (LiG, ch. 1, 11)
    • Nov 12: Dynamic logic of game solution (LiG, ch. 8, 13)
    • Nov 13: Logic as games and its laws (LiG, ch. 14, 19)
    • Nov 15: Discussion – Designing a new logic game

Materials: Chapters from books and papers.

LDII = Logical Dynamics of Information and Interaction 2011,
LiG = Logicin Games 2014.
These are for your private use, not for wider circulation.