Dynamic Awareness
Abstract
In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour has become evident. Although logics of awareness have been proposed, little work has been done on change in awareness, despite the importance of awareness change in situations of decision and interaction. The aim of this paper is to make a start on this problem. It proposes, firstly, a versatile model of awareness and awareness change, and secondly, logics for awareness and awareness change developed using this model. The logic of awareness is similar to that proposed by Halpern (Games and Economic Behavior, 37 (2001) 321-339); two logics of awareness change are developed, following the two paradigms in belief revision (Alchourron et al, The Journal of Symbolic Logic 50 (1986) 510-530; van Benthem, Journal of Applied Non-classical Logics 17 (2007) 129-155).