VSL 2014: VIENNA SUMMER OF LOGIC 2014
LG PROGRAM
Tuesday, July 15th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 45: Logic and games from cognitive, social, and abstract perspectives (1/2)
Location: MB, Hörsaal 12
09:00
Ludics and interactive completeness (abstract)
09:45
Forward and backward induction in dynamic games: Distilling the axiomatic differences on common ground (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 47E: Logic and games from cognitive, social, and abstract perspectives (2/2)
Location: MB, Hörsaal 12
10:45
Signaling in independence-friendly logic (abstract)
11:30
Game Reductions (abstract)
12:00
Game Semantics from a Cognitive Modeling Standpoint (abstract)
12:30
Emulating Diffusion and Best Response Dynamics in Social Networks using Action Models (abstract)
13:00-14:30Lunch Break
14:30-16:15 Session 50E: Games for belief revision and non-classical logic (1/2)
Location: MB, Hörsaal 12
14:30
Semantic games for Łukasiewicz logic (abstract)
15:15
Game Semantics for Conditional Logic (abstract)
15:45
Multi-Agent Dialogical Games for Modal Logic (abstract)
16:00-16:30Coffee Break
16:30-17:45 Session 52D: Games for belief revision and non-classical logic (2/2)
Location: MB, Hörsaal 12
16:30
Non-characterizability in belief revision: an application of finite model theory (abstract)
17:00
Game Semantics for Some Non-Classical Logics (abstract)
19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Gödel in Vienna (abstract)