Sciweavers

156
Voted
ICLA
2011
Springer
14 years 13 days ago
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 th...
Hans P. van Ditmarsch, Tim French