Public announcement logic in geometric frameworks

Baskent, Can ORCID logoORCID: (2012) Public announcement logic in geometric frameworks. Fundamenta Informaticae, 118 (3) . pp. 207-223. ISSN 0169-2968 [Article] (doi:10.3233/FI-2012-710)


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. After that, we apply our results to different issues: announcement stabilization, backward induction and persistence.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 35921
Depositing User: Can Baskent
Date Deposited: 16 Sep 2022 08:15
Last Modified: 22 Sep 2022 17:43

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.