1. Reasoning about space: the modal way;Aiello;Journal of Logic and Computation,2003
2. S. Artemov, J. Davoren, A. Narode, Modal logics and topological semantics for hybrid systems, Technical Report MSI 97-05, Cornell University, 1997.
3. Completeness of S4 with respect to the real line;Bezhanishvili;Revisited, Annals of Pure and Applied Logic,2005
4. Dynamic topological completeness for R2;Fernandez-Duque;Logic Journal of IGPL,2005
5. Absolute completeness of S4u for its measure-theoretic semantics;Fernandez-Duque;Advances in Modal Logic,2010