Grisha Mints's Home Page
Professor of Philosophy, and by courtesy of
Find papers after 1990 at my departmental web page.
Below are most recent papers. Send mail to me at firstname.lastname@example.org, if you'd like a copy of these or any other papers of mine.
Epsilon calculus course (Spring, 2006) notes: eps06.pdf
Logical Equations in Modal Logic (with T. Hoshi): MFOJul8.pdf
Chapter on Dynamic Topological Logic: DTL.June.5.2006.pdf
Cut Elimination for Simple Epsilon Calculus (To appear in APAL, 2007): cutsimeps.pdf
A proof of completeness of S4 for (0,1) (pdf), with Ting Zhang
Phil 155: General Interest Topics in Mathematical Logic, Spring 2008
Phil 154/254: Modal Logic, Fall 2007
Phil 353/Math 293: Proof Theory A, Fall 2007
Phil 391/Math 391: Research Seminar in Logic and the Foundations of Mathematics, Fall 2007
Philosophy | Mathematics | Computer Science | CSLI | Feedback