Topological Reasoning and The Logic of Knowledge.

Lawrence S. Moss, Rohit Parikh

Browse the full TARK paper archive.