• C. Dutilh Novaes, Formalizing Medieval Logical Theories: Supposition, Obligationes and Consequentia (Berlin: 2007).

• C. Dutilh Novaes, “The Different Ways in which Logic is (Said to Be) Formal,” History and Philosophy of Logic 32 (2011), 303-32.

• C. Dutilh Novaes, “Lessons on Truth from Medieval Solutions to the Liar Paradox,” Philosophical Quarterly 61 (2011), 58-78.

• C. Dutilh Novaes, “Medieval Theories of Truth,” “Medieval Theories of Quantification,” and “Medieval Theories of Supposition,” in H. Lagerlund (ed.), Encyclopedia of Medieval Philosophy (Berlin: 2011).

• C. Dutilh Novaes, “Form and Matter in Later Latin Medieval Logic: the Cases of Suppositio and Consequentia,” Journal of the History of Philosophy 50 (2012), 339-64.

• C. Dutilh Novaes, “Reassessing Logical Hylomorphism and the Demarcation of Logical Constants,” Synthese 185 (2012), 387-410.

Her entry “Medieval theories of consequence” on the online Stanford Encyclopedia of Philosophy.