Logics for Dynamics of Information and Preferences

Logics for Dynamics of Information and Preferences Working sessions
There is a mailing list for these sessions. If you want to participate and/or register to the list, please email me (Olivier): oroy at science dot uva dot nl This is the agenda for 2006-2007! Click here for this year's meeting schedule.
Meeting date	Speaker and Working material
September 5th P1.14, 17.00-19.30	Patrick Girard Ceteris Paribus Logics
September 21th P1.14, 17.00-19.30	Tomasz Sadzik Epistemic Languages and Game Theoretic Solution Concepts
October 3rd P1.14, 17.00-19.30	Fenrong Modelling preference change Suggested reading: a) Johan van Benthem, Fenrong Liu Dynamic logic of preference upgrade. b) * Fenrong Liu Preference Change and Information Processing. c)* Dick de Jongh, Fenrong Liu Optimality, Belief and Preference.
October 17th P1.14, 17.00-19.30	Olivier Preference Based Belief dynamics Suggested reading: Stephen Morris, "The Logic of Belief and Belief Change: A Decision Theoretic Approach", Journal of Economic Theory, Volume 69, Issue 1 , April 1996, Pages 1-23 See also the slides of the talk given in Liverpool in July 2006.
November 17th	Eric Preference Based Belief dynamics (II)
November 28th	Fernando R. Velazquez-Quesada, The logic of dominos. Suggested reading: 1. A Logical Language for Dominoes 2. Some semantics for a logical language for the game of dominoes. 3. A derivation system for a logical language for dominoes Slides
December 7th P3.27, 11.00 - 13.00	Ondrej Majer Pobabilistic IF Logic
December 12th P3.27, 17.00 - 19.00	Ravishankar Sarma, ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE
January 24th P1.14, 14.00 - 16.00	Jonathan
January 26th P3.27, 14.00 - 16.00	Nicola Dimitri NON EXPONENTIAL DISCOUNTING AND TIME CONSISTENT DECISION MAKING Abstract: Among non Exponential Discounting (ED) models, introduced to capture time inconsistent choices, Hyperbolic Discounting (HD) recently gained particular relevance. This paper points out that, for some particular payoff structures, HD can also represent consistent preferences.
February1st P3.27, 17.00 - 19.00	1. Olivier : Intentions and plans in Games, practice run for a talk to be given next week. 2. Setting the agenda for the next 3 or 4 meetings. 3. Jonathan: Modal characterization of weak and strict dominance.
February 9th P3.27, 14.00 - 16.00	Patrick, Agenda change and ceteris paribus preferences.
Tuesday Feb. 13th P1.14, 15.00 - 17.00	Itai Arieli , Syntactic analysis of beliefs in games. Some background reading: Aumann, Interactive Epistemology I : Knowledge. Monging & Heifetz, Probability logic for type spaces
Feb. 15th P3.27, 17.00 - 19.00	Eric and Johan, Logic of strategies
Feb. 22nd P1.14, 17.00 - 19.00	Cedric, JvB's rational dynamics: the modal approach to solution concepts
Mar. 1st P3.27, 17.00 - 19.00	Fenrong, Comparing two Models on Preference and Preference Change Notes
Mar. 8th P3.27, 17.00 - 19.00	Fernando, Relating Abduction and Belief Revision Handout
Mar. 15th P3.27, 14.00 - 15.00	François Lepage (Université de Montréal), Belief Revision, Backgrounds, and Counterfactuals There is no Non-trivial Conditional Probabilistic Interpretation of Counterfactuals by Imaging Conditional Probabilities and Imaging
Mar. 22nd P1.14, 17.00 - 19.00	Sujata, Product Game Algebra
Mar. 29nd P1.14, 17.00 - 19.00	Pedro A. Gongora Luna Asynchronous \pi-calculus & DEL Handout
Apr. 5th P1.14, 17.00 - 19.00	Amelie and Balder ten Cate Balder : PDL on finite trees Amelie: Axiomatizing the MSO, FO+monTC (monadic transitive closure) and FO+monLFP (monadic least fix point) theories of finite labelled oredered trees.
Apr. 19th place and time t.b.a.	Eric, title tba.