I work in philosophical logic and the philosophy of it. But this year I've escaped and am doing mathematical logic at JAIST. I'm studying substructural notions of quantification.
