Office: Katharine Reed Cudahy Hall,
Phone: (414) 288-5384
Intuitionistic axiomatizastions for bounded extension Kripke models (with Mohammad Ardeshir and Saeed Salehi), Annals of Pure and Applied Logic 124 (2003), pp. 267-285.
Basic predicate calculus, Notre Dame Journal of Formal Logic 39, No. 1 (1998), pp. 18-46.