Public Announcement Logic in Geometric Frameworks

TL;DR

This paper extends public announcement logic to geometric frameworks like topological and subset space models, proving completeness and exploring applications such as stabilization, backward induction, and persistence.

Contribution

It introduces public announcement logic into geometric models and establishes their completeness, expanding the logic's applicability to new frameworks.

Findings

Proved completeness of public announcement logic in topological models.

Extended the logic to subset space models for greater expressiveness.

Applied the logic to issues like stabilization, backward induction, and persistence.

Abstract

In this paper we introduce public announcement logic in different geometric frameworks. First, we consider topological models, and then extend our discussion to a more expressive model, namely, subset space models. Furthermore, we prove the completeness of public announcement logic in those frameworks. Moreover, we apply our results to different issues: announcement stabilization, backward induction and persistence.