Since 2017, I have developed logical frameworks for nonmonotonic and defeasible inferences. At the core of this project is a sequent calculus that encodes information about inference-defeaters and inference-contexts, which I've applied to the study of question-based (erotetic) arguments, abduction, and explanatory reasoning.
- "A Defeasible Calculus for Zetetic Agents." Logic & Logical Philosophy. 2021. [PDF]
- "A Logic for Best Explanations," Journal of Applied Non-classical Logics. 2019. (with Christian Straßer). [Pre-Print]
- "Inference, Explanation, and Asymmetry," Synthese. 2018. (with Kareem Khalifa and Mark Risjord). [Pre-Print]
- "A Cut-free Sequent Calculus for Defeasible Erotetic Inferences," Studia Logica. 2018. [Pre-Print]