A computationally grounded logic of visibility, perception, and knowledge - Wooldridge, M (Oxford University Press (OUP), 2001)