{"id":"arxiv/2609.24006","url":"https://arxiv.org/abs/2609.24006","tags":["cs.LO","cs.MA","math.LO"],"score":0,"title":"Eventual and Strong Eventual Notions in Public Announcements","domain":"cs.LO","source":"arxiv","authors":["Eiji Yamada"],"reviews":0,"subject":"cs.LO","summary":"In dynamic epistemic logic, the four notions of success, self-refutation, true lies, and impossible lies have been discussed in the context of public announcements. In this paper, we introduce eventual and strong eventual versions of these notions, as well as their transfinite versions, which allow transfinite iteration of announcements. We also introduce the notions of always informativeness when true or false. For example, a formula is eventually self-refuting if, whenever initially true, it eventually becomes false at some finite stage under iterated announcements, and strong eventual…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}