Becoming Aware of Propositional Variables

We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that the logic is decidable, and we present a complete axiomatization.

• Type: Journal
• Year: 2011
• Where: ICLA
• Authors: Hans P. van Ditmarsch, Tim French
• Keywords: Artificial Intelligence, ICLA 2011, Knowledge Awareness, Logic, Propositional Variables