Eiji Yamada

collaborators

3 papers

cs.LO2026

Eventual and Strong Eventual Notions in Public Announcements

Eiji Yamada

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,…

cs.LO2026

The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic

Eiji Yamada

In this paper, we define a formula $φ$ to be unbelievable if $□ φ$ is unsatisfiable, and unknowable if $□ φ \land φ$ is unsatisfiable. We then analyze the sources of unknowabilit…

cs.LO2026

Classification of $σ$ -validity in iterated announcements

Eiji Yamada

In their 2018 paper, Agotnes, van Ditmarsch, and Wang extended the notions of success and self-refutation in public announcements to true lies, impossible lies, and $σ$ -validity in…

Eventual and Strong Eventual Notions in Public Announcements

The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic

Classification of σ-validity in iterated announcements

Classification of $σ$ -validity in iterated announcements