Sciweavers

ICLA
2011
Springer

Becoming Aware of Propositional Variables

12 years 7 months 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 the logic is decidable, and we present a complete axiomatization.
Hans P. van Ditmarsch, Tim French
Added 29 Aug 2011
Updated 29 Aug 2011
Type Journal
Year 2011
Where ICLA
Authors Hans P. van Ditmarsch, Tim French
Comments (0)