On the Proof Theory of the Modal Logic Grz. - Marco Borga; Paolo Gentilini (Math. Log. Q., 1986)

Provability Logic in the Gentzen Formulation of Arithmetic. - Paolo Gentilini (Math. Log. Q., 1992)

Syntactical results on the arithmetical completeness of modal logic. - Paolo Gentilini (Stud Logica, 1993)

Informational Logic for Automated Reasoning. - Paola Forcheri; Paolo Gentilini; Maria Teresa Molfino (JELIA, 1996)

Informational Logic as a Tool for Automated Reasoning. - Paola Forcheri; Paolo Gentilini; Maria Teresa Molfino (J. Autom. Reason., 1998)

Informational Logic in Knowledge Representation and Automated Deduction. - Paola Forcheri; Paolo Gentilini; Maria Teresa Molfino (AI Commun., 1999)

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. - Paolo Gentilini (Stud Logica, 1999)

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. - Paolo Gentilini (Stud Logica, 1999)

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. - Paolo Gentilini (Stud Logica, 1999)

Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework. - Paola Forcheri; Paolo Gentilini (J. Appl. Non Class. Logics, 2005)

Paraconsistent Informational Logic. - Paola Forcheri; Paolo Gentilini (J. Appl. Log., 2005)

Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference. - Paolo Gentilini (LMCS, 2006)

Abstract deduction and inferential models for type theory. - Paolo Gentilini; Maurizio Martelli (Inf. Comput., 2010)

Proof theory and mathematical meaning of paraconsistent C-systems. - Paolo Gentilini (J. Appl. Log., 2011)

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. - Paolo Gentilini; Maurizio Martelli (CILC, 2013)

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. - Paolo Gentilini; Maurizio Martelli; Giuseppe Rosolini (Fundam. Informaticae, 2015)