Logic of Awareness for Nested Knowledge