Public announcement logic in geometric frameworks
Article
Baskent, C. 2012. Public announcement logic in geometric frameworks. Fundamenta Informaticae. 118 (3), pp. 207-223. https://doi.org/10.3233/FI-2012-710
Type | Article |
---|---|
Title | Public announcement logic in geometric frameworks |
Authors | Baskent, C. |
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. |
Keywords | Public Announcement Logic; Topological Semantics; Subset Space Logic; Backward Induction |
Research Group | Foundations of Computing group |
Publisher | IOS Press |
Journal | Fundamenta Informaticae |
ISSN | 0169-2968 |
Electronic | 1875-8681 |
Publication dates | |
Jan 2012 | |
Publication process dates | |
Deposited | 16 Sep 2022 |
Accepted | 02 Jan 2012 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.3233/FI-2012-710 |
Web of Science identifier | WOS:000305270200001 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/89zq8
54
total views0
total downloads5
views this month0
downloads this month