Quantified Logic of Awareness and Impossible Possible Worlds