Standard completeness for extensions of IMTL. - Paolo Baldi; Agata Ciabattoni; Francesca Gulisano (FUZZ-IEEE, 2017)

Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. - Agata Ciabattoni; Francesca Gulisano; Björn Lellmann (DEON, 2018)

The Gentle Murder Paradox in Sanskrit Philosophy. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (DEON, 2021)

Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. - Björn Lellmann; Francesca Gulisano; Agata Ciabattoni (Artif. Intell. Law, 2021)

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (J. Log. Lang. Inf., 2023)