An alternative logic for knowability
2011
We give an alternative logic for knowability to arbitrary public announcement logic. In the new semantics, 'knowable' means 'known after an information update' rather than the more specific interpretation of 'known after an announcement'. An update is modelled by the refining of accessibility relations. We compare our logic to arbitrary announcement logic and subset space logic and thus establish a link between the latter two.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
24
References
6
Citations
NaN
KQI