Handbook of epistemic logic - Ditmarsch, Hans van, 1959-; Halpern, Joseph Y., 1953-; Hoek, W. van der; Kooi, Barteld Pieter, 1976- (College Publications, 2015)