Semantics for Knowledge and Change of Awareness

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 Multi-agent systems  Awareness  Dynamic epistemic logic
Categories (categorize this paper)
DOI 10.1007/s10849-014-9194-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,629
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Propositional Quantifiers in Modal Logic.Kit Fine - 1970 - Theoria 36 (3):336-346.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
18 ( #498,502 of 2,280,568 )

Recent downloads (6 months)
2 ( #568,325 of 2,280,568 )

How can I increase my downloads?


My notes

Sign in to use this feature