Nonclassical Logics
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 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]
