Carlo Nicolai

According to our database, Carlo Nicolai authored at least 12 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Systems for Non-Reflexive Consequence.

Carlo Nicolai, Lorenzo Rossi

Stud Logica, December, 2023

Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype.

Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez

Rev. Symb. Log., June, 2023

2021

Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.

Carlo Nicolai

Notre Dame J. Formal Log., 2021

The Modal Logics of Kripke-Feferman Truth.

Carlo Nicolai, Johannes Stern

J. Symb. Log., 2021

2018

Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth.

Carlo Nicolai

Stud Logica, 2018

Principles for Object-Linguistic Consequence: from Logical to Irreflexive.

Carlo Nicolai, Lorenzo Rossi

J. Philos. Log., 2018

On the Costs of Nonclassical Logic.

Volker Halbach, Carlo Nicolai

J. Philos. Log., 2018

2017

Equivalences for Truth Predicates.

Carlo Nicolai

Rev. Symb. Log., 2017

Iterated reflection over full disquotational truth.

Martin Fischer, Carlo Nicolai, Leon Horsten

J. Log. Comput., 2017

2016

A Note on Typed Truth and Consistency Assertions.

Carlo Nicolai

J. Philos. Log., 2016

2015

Deflationary truth and the ontology of expressions.

Carlo Nicolai

Synth., 2015

2013

Axiomatic Truth, Syntax and Metatheoretic Reasoning.

Graham E. Leigh, Carlo Nicolai

Rev. Symb. Log., 2013