Jonas De Vuyst

Learn More
Public announcement logic (PAL) extends epistemic logic with 'dynamic' statements of the form [!A]B, which can be read as " After it becomes common knowledge that A is true, B holds ". Interestingly, PAL uses standard S5 n models. To wit, [!A]B is defined to be true at a world w if and only if (i) B holds at w in the model that remains when all the worlds(More)
In this paper we argue with Frege, against David Kaplan, that cognitive content , not the character of thought, triggers behavior. We also develop a logic of reconstructions to explain how agents can sometimes be cognitively blind to contradictions involving indexicals. Additionally, we argue that the character of indexicals varies with the genre of the(More)
  • 1