On the Connection between Non-monotonic Inference Systems and Conditional Logics. - Gabriella Crocco; Philippe Lamarre (KR, 1992)

Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. - Gabriella Crocco; Luis Fariñas del Cerro (Logic, Action, and Information, 1996)

Gödel, Carnap and the Fregean Heritage. - Gabriella Crocco (Synth., 2003)

Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights. - Gabriella Crocco; Myriam Quatrini (Perspectives on Deduction, 2024)