Semantics for Knowledge and Change of Awareness |
| |
Authors: | Hans van Ditmarsch Tim French |
| |
Affiliation: | 1. LORIA—CNRS, University of Lorraine, Vandoeuvre Les Nancy, France 2. University of Western Australia, Perth, Australia
|
| |
Abstract: | We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|