Research
I am currently conducting research with my advisor,
Wim Ruitenburg
. I also work with
Dan McGinn
and
Jonathan Fleischmann
.
Preprints: coming soon...
Preprints in which Dan is the corresponding author:
Quantifier Elimination for a Class of Intuitionistic Theories
, submitted
Papers on which Jon was the corresponding author:
Kripke Submodels and Universal Sentences; published in Mathematical Logic Quarterly, March 2007, p. 311-320.
Back to my
home page