|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 7 gevonden artikelen
| Titel: |
Public Announcement Logic in Geometric Frameworks |
| Auteur: |
Başkent, Can |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 118 (2012) nr. 3 pagina's 207-223 |
| Jaar: |
2012-06-08 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 7 gevonden artikelen
| << vorige | volgende >> |