Department of Philosophy
University of Toronto
Papers available online
Dynamic Topological Logic. This site contains links to papers by a number of people working on the Dynamic Topological Logic programme, independently initiated by Grigori Mints and me at Stanford, and by Sergei Artemov, Jennifer Davoren, and Anil Nerode at Cornell.
In honour of my thesis advisor, Nuel Belnap, I have produce a partial academic genealogy for Nuel. If you see any mistake in it, or any way to improve it, please let me know.