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) |