Programme C08


Logic of Change, Change of Logic

Programme


Wednesday 10 September

09:00 10:00 registration
10:00 10:20 opening
10:20 11:20 Makinson Some Design Options for Formal Systems of Cognitive Change
11:20 12:00 de Boer, Weydert Changing Attitudes about Attitude Change

12:00 14:00 lunch

14:00 14:40 Hill The Algebra of Belief Change
14:40 15:20
Vilks Kripke's Wittgenstein, Rules, and Rationality


15:20 15:40 coffee break

15:40 16:20
Peliš, Majer The Logic of Questions from the Viewpoint of Dynamic Epistemic Logic 16:20 17:00 Genot The Game of Inquiry: Selection Functions, Bayesian Update, and Other
11:20 12:00 Strategies


Thursday 11 September

09:00 10:00 Hansson Can Perference Change Be Modelled after Belief Change?
10:00 10:40 Pigozzi, van der Torre From Belief Change to Norm Change

10:40 11:00 coffee break

11:00 11:40 Dietrich A Model of Individual Change
11:40 12:20 Heilmann
Preference Change in a Multiple-Self

12:20 14:30 lunch

14:30 15:30 Bradley Forming a Preference: Incompleteness, Omniscience and Deliberation

15:30 15:50 coffee break

15:50 16:30 Etlin On the Alignment of Belief and Desire
16:30 17:10 Roy Dynamic Logic for Intentions in Games


Friday 12 September

09:00 10:00 Rott Defending the Ramsey Test for the Interpretation of Conditionals:
09:00 10:00 A Constructive Approach

10:00 10:40 Herzig, Lorini Static and Dynamic Aspects of Knowledge about Powers

10:40 11:00 coffee break

11:00 11:40 Childers Degrees, Changes and Theories of Belief
11:40 12:20 Kim Sleeping Beauty and Shifted Jeffrey Conditionalization

12:40 19:00 lunch & free afternoon


Saturday 13 September

09:00 09:40 van Benthem, Dégremont Building Bridges between Dynamic and Temporal
11:20 12:00 Belief Revision

09:40 10:20
Cheng Temporal Relevant Logic Approach to Reasoning about Epistemic Processes

10:20 10:40 coffee break

10:40 11:20 Walliser, Vergnaud, Billot Multi Player Belief Revision and Accuracy Orders
11:20 12:00
Georgatos Revision Using Indistinguishability

12:00 14:00 lunch

14:00 15:00
Baltag Models of Change, Change of Models:
09:00 10:00 Reasoning about the Social Dynamics of "Information"

15:00 15:20 coffee break

15:20 16:00 Schang, Moretti Belief Revisions from an Algebraic Perspective:
11:20 12:00 A Four-valued Dynamic Doxastic Logic and Its Applications within n-valuation

16:00 16:40
Brössel Theory Assessment and Coherence

19:00 banquet

Sunday 14 September

09:30 10:30 van Ditmarsch On Knowledge, Knowability, and Ability
10:30 11:10
de Boer, Herzig, de Lima, Lorini What Do We Accept after an Annoucement?

11:10 11:30 coffee break

11:30 12:10 Aucher Refinement on the Notion of Event
12:10 12:50 Smets Dynamic Conditionals as a Unifying Setting for Information Change:
09:00 10:00 From Quantum Logic to Dynamic Belief Revision

12:50 closing