"Topological Reasoning and the Logic of Knowledge."

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics