Title: Epistemic logic
Subtitle: a survey of the logic of knowledge