Becoming aware

Abstract. We examine a logic that combines knowledge, awareness, and change of awareness. An agent can become aware of factual propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. We show that the logic is decid-able, and we present a complete axiomatization.