VSL 2014: VIENNA SUMMER OF LOGIC 2014

LG ON TUESDAY, JULY 15TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
09:00-09:45
Ludics and interactive completeness
Kazushige Terui
09:45-10:15
Forward and backward induction in dynamic games: Distilling the axiomatic differences on common
Sujata Ghosh, Aviad Heifetz
10:45-11:30
Signaling in independence-friendly logic
Gabriel Sandu
11:30-12:00
Game Reduction
Dietmar Berwanger, Marie van den Bogaard
12:00-12:30
Game Semantics from a Cognitive Modeling Standpoint
Emmanuel Genot, Justine Jacot
12:30-13:00
Emulating Diffusion and Best Response Dynamics in Social Networks using Action Models
Rasmus K. Rendsvig
14:30-15:15
Semantic games for Łukasiewicz logic
Ondrej Majer
15:15-15:45
Game Semantics for Conditional Logic
Johannes Marti, Riccardo Pinosio
15:45-16:15
Multi-Agent Dialogical Games for Modal Logic
Martin Sticht
16:30-17:00
Non-characterizability in belief revision: an application of finite model theory
Jon Yaggie, Gyorgy Turan
17:00-17:30
Game Semantics for Some Non-Classical Logics
Can Baskent
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
19:00-20:00
VSL Public Lecture: Gödel in Vienna
Karl Sigmund
Disclaimer | Powered by EasyChair Smart Program