Talk by Willem Groeneveld
Dynamic Epistemic Logic
In the talk I will present an extension of epistemic logic to a logic that takes account
of *changes* in knowledge, or belief, or information. There are two main motivations
why such an extension of epistemic logic is desirable. First, it is just a pervasive
property of knowledge, and belief, and information, that they are not constant, but
change. Second, I expect that dynamic epistemic logic is a first step towards a logic of
*information exchange*, as it occurs in human conversation, or in message
transmission by electronic devices. The talk will mainly focus on the logical issues
involved in defining some systems of dynamic epistemic logic, and I will only hint at the
way in which such a logic can be extended to a logic for information exchange.
Paul Dekker, November 2, 1995