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.