A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. - Philippe Balbiani; Han Gao 018; Çigdem Gencer; Nicola Olivetti (CSL, 2024)

Local Intuitionistic Modal Logics and Their Calculi. - Philippe Balbiani; Han Gao 018; Çigdem Gencer; Nicola Olivetti (IJCAR (2), 2024)

A Proof Calculus for Ethical Reasoning. - Han Gao 018; Emiliano Lorini; Nicola Olivetti; Matteo Tesi (PRIMA, 2024)

Paraconsistent Constructive Modal Logic. - Han Gao 018; Daniil Kozhemiachenko; Nicola Olivetti (WoLLIC, 2025)

Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. - Han Gao 018; Nicola Olivetti (WoLLIC, 2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels. - Han Gao 018; Marianna Girlando; Nicola Olivetti (CoRR, 2025)