Bob Milnikel Professor of Mathematics Department of Mathematics and Statistics Kenyon College, Gambier, OH 43022. (740) 427-5905. Fax: (740) 427-5573 milnikelr[]kenyon.edu

Teaching, Spring 2024

• Statistics 106, Elements of Statistics
  

Mathematical Interests

• Justification Logics
• Nonmonotonic Logic
• Mathematics for the Liberal Arts

Papers and Preprints

• Group Activities for Math Enthusiasts, joint with J. Holdener, PRIMUS: Problems, Resources, and Issues in Mathematics Undergraduate Studies, 26:9, September 2016.
  
• A New Angle on an Old Construction, Mathematics Magazine, 88:4, October 2015.
  
• The Logic of Uncertain Justifications, Annals of Pure and Applied Logic, 165:1, January 2014.
  
• The Logic of Uncertain Justifications (Preliminary Report), Proceedings of the International Symposium on the Logical Foundations of Computer Science, January 2013.
  
• Conservativity in Logics of Justified Belief: Two Approaches, Annals of Pure and Applied Logic, 163:7, July 2012.
• Conservativity in Logics of Justified Belief, Presented at LFCS '09, Springer Verlag series LNCS 5407, 2009
• Derivability in the Logic of Proofs is $\Pi^p_2$-complete, Annals of Pure and Applied Logic 145:3 (March 2007), 223-239
• Sequent Calculi for Skeptical Reasoning in Predicate Default Logic and Other Nonmonotonic Systems, Annals of Mathematics and Artificial Intelligence 44:1 (2005), 1-34
  
• A Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic, Presented at The 10th International Symposium on Nonmonotonic Reasoning, June 2004
  
• A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract), Presented at ECSQARU 2003, Proceedings Springer-Verlag LNCS 2711
  
• The Complexity of Predicate Default Logic Over a Countable Domain, Annals of Pure and Applied Logic 120 (2003), 151-163
• Embedding Modal Nonmonotonic Logics into Default Logic, Studia Logica 75 (2003), 377-382
• Skeptical Reasoning in FC-Normal Logic Programs is $\Pi^1_1$-Complete, Fundamenta Informaticae 45 (2001), 237-252

Eduation

• B.A. (Mathematics), Carleton College
• M.S. (Computer Science), Ph.D. (Mathematical Logic), Cornell University

Other Links

• Google, a search engine I've found useful.
  
• MathSciNet
• The Mathematics Genealogy Project
  

If I were a Springer-Verlag Graduate Text in Mathematics, I would be Saunders Mac Lane's Categories for the Working Mathematician. I provide an array of general ideas useful in a wide variety of fields. Starting from foundations, I illuminate the concepts of category, functor, natural transformation, and duality. I then turn to adjoint functors, which provide a description of universal constructions, an analysis of the representation of functors by sets of morphisms, and a means of manipulating direct and inverse limits. Which Springer GTM would you be? The Springer GTM Test