Agotnes, T., & Alechina, N. (2014). A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information, 23(2), doi:10.1007/s10849-014-9201-4