Abstract | ||
---|---|---|
Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and angstrom gotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an "elegant, model-internal mechanism for interpreting public announcements" [6, p. 12]. In this work, we extend Bjorndahl's logic PAL(int) of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APAL(int), and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13]. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-17130-2_17 | Lecture Notes in Artificial Intelligence |
Field | DocType | Volume |
Epistemic modal logic,Topology,Topological space,Category of topological spaces,Computer science,Topological vector space,Compact-open topology,Connected space,Isolated point,Topological tensor product | Conference | 8953 |
ISSN | Citations | PageRank |
0302-9743 | 3 | 0.44 |
References | Authors | |
11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hans P. van Ditmarsch | 1 | 656 | 79.59 |
Sophia Knight | 2 | 32 | 4.49 |
Aybüke Özgün | 3 | 3 | 0.44 |