- Cet évènement est passé.
Truth as play: Logic behind the games
12 mai 2026 à 16:00 --> 17:00
Speakers: Keyao Peng (IMB)
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 <a href="http://logic.
https://indico.math.cnrs.fr/event/16558/ » target= »_blank » title= »logic.
https://indico.math.cnrs.fr/event/16558/ »>logic.
https://indico.math.cnrs.fr/event/16558/
- wpea_event_timezone:
- UTC
- wpea_event_link:
- https://indico.math.cnrs.fr/event/16558/
- wpea_event_timezone_name:
- UTC
- wpea_event_id:
- indico-vnt-16558@indico.math.cnrs.fr
- wpea_event_origin:
- ical