Public announcement logic in geometric frameworks

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

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

Item Type: Article
Theme:
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
URI: https://eprints.mdx.ac.uk/id/eprint/35921

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
0Hits

Additional statistics are available via IRStats2.