Grisha Mints's Home PageProfessor of Philosophy, and by courtesy of

Research Interests
 
Book

larger photo> 
Papers 
Find papers after 1990 at my departmental web page.
Below are most recent papers. Send mail to me at mints@csli.stanford.edu, 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
Courses
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
Reviews
Before 2005
2005
2006
2007
Notes
Philosophy  Mathematics  Computer Science  CSLI  Feedback