A logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of” – without using a stronger statement such as “Ann knows that Bill is aware of p and Ann is not...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Springer
2014
|
| Online Access: | https://eprints.nottingham.ac.uk/30171/ |