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.
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 |
Statistics
Additional statistics are available via IRStats2.