Public announcement logic in geometric frameworks

Baskent, Can ORCID: 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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

0Downloads

6 month trend

32Hits

Additional statistics are available via IRStats2.