Semantic trees for Dummett's logic LC. - Giovanna Corsi (Stud Logica, 1986)

Weak Logics with Strict Implication. - Giovanna Corsi (Math. Log. Q., 1987)

Quantified Modal Logic With Rigid Terms. - Giovanna Corsi (Math. Log. Q., 1988)

Directed frames. - Giovanna Corsi; Silvio Ghilardi (Arch. Math. Log., 1989)

A Cut-Free Calculus For Dummett's LC Quantified. - Giovanna Corsi (Math. Log. Q., 1989)

A logic characterized by the class of connected models with nested domains. - Giovanna Corsi (Stud Logica, 1989)

Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions. - Giovanna Corsi (Stud Logica, 1992)

Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. - Giovanna Corsi (Notre Dame J. Formal Log., 1993)

Bull's Theorem by the Method of Diagrams. - Giovanna Corsi (Stud Logica, 1999)

A Unified Completeness Theorem for Quantified Modal Logics. - Giovanna Corsi (J. Symb. Log., 2002)

Intuitionistic logic freed of all metarules. - Giovanna Corsi; Gabriele Tassi (J. Symb. Log., 2007)

Free Quantified Epistemic Logics. - Giovanna Corsi; Eugenio Orlandelli (Stud Logica, 2013)

Sequent Calculi for Indexed Epistemic Logics. - Giovanna Corsi; Eugenio Orlandelli (ARQNL@IJCAR, 2016)

Decidable Term-Modal Logics. - Eugenio Orlandelli; Giovanna Corsi (EUMAS/AT, 2017)

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. - Eugenio Orlandelli; Giovanna Corsi (ARQNL@IJCAR, 2018)