Axiomatic Truth, Syntax and Metatheoretic Reasoning. - Graham E. Leigh; Carlo Nicolai (Rev. Symb. Log., 2013)

Deflationary truth and the ontology of expressions. - Carlo Nicolai (Synth., 2015)

A Note on Typed Truth and Consistency Assertions. - Carlo Nicolai (J. Philos. Log., 2016)

Iterated reflection over full disquotational truth. - Martin Fischer; Carlo Nicolai; Leon Horsten (J. Log. Comput., 2017)

Equivalences for Truth Predicates. - Carlo Nicolai (Rev. Symb. Log., 2017)

On the Costs of Nonclassical Logic. - Volker Halbach; Carlo Nicolai (J. Philos. Log., 2018)

Principles for Object-Linguistic Consequence: from Logical to Irreflexive. - Carlo Nicolai; Lorenzo Rossi 005 (J. Philos. Log., 2018)

Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. - Carlo Nicolai (Stud Logica, 2018)

The Modal Logics of Kripke-Feferman Truth. - Carlo Nicolai; Johannes Stern (J. Symb. Log., 2021)

Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents. - Carlo Nicolai (Notre Dame J. Formal Log., 2021)

Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype. - Martin Fischer; Carlo Nicolai; Pablo Dopico Fernandez (Rev. Symb. Log., 2023)

Systems for Non-Reflexive Consequence. - Carlo Nicolai; Lorenzo Rossi 005 (Stud Logica, 2023)

Implicit commitment in a general setting. - Mateusz Lelyk; Carlo Nicolai (J. Log. Comput., 2024)

Non-contractive Logics, Paradoxes, and multiplicative Quantifiers. - Carlo Nicolai; Mario Piazza; Matteo Tesi (Rev. Symb. Log., 2024)