 Several introductory texts on epistemic logic exist, e.g., van Benthem (2011); Ditmarsch, Hoek, and Kooi (2007); Ditmarsch et al. (2015); Gochet and Gribomont (2006); and Meyer (2001) with Lenzen (1980) providing an overview of early developments.