Truth as play: Logic behind the games

par Keyao Peng (IMB)

mardi 12 mai 2026, 16:00 → 17:00 Europe/Paris

318

I will talk about the logic aspect of two-player games with perfect information (sorry for Belote). We will explore the relation between game and propitiation, winning strategy and proof. Then I will introduce linear logic and define the game semantics and see how it improves classic logic.