Indiana University Bloomington Indiana University Bloomington IU Bloomington
The College of Arts & Sciences
Professor, Mathematics
Associate Chair, Mathematics
Main Research Group: Logic
Research Interests: applied logic; coalgebra; natural logic; epistemic logic
MathSciNet
Math Genealogy