Topology and Epistemic Logic. - Rohit Parikh; Lawrence S. Moss; Chris Steinsvold (Handbook of Spatial Logics, 2007)