Konstantinos Georgatos Knowledge Theoretic Properties of Topological Spaces. 147-159 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#Georgatos92