Epistemic logic : a survey of the logic of knowledge - Rescher, Nicholas (University of Pittsburgh Press, 2005)