Carlo Nicolai

16 papers Journal 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Classical Determinate Truth.
Rev. Symb. Log.
Luca Castaldo, Carlo Nicolai
2024 J jnl
Implicit commitment in a general setting.
J. Log. Comput.
Mateusz Lelyk, Carlo Nicolai
2024 J jnl
Non-contractive Logics, Paradoxes, and multiplicative Quantifiers.
Rev. Symb. Log.
Carlo Nicolai, Mario Piazza, Matteo Tesi
2023 J jnl
Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype.
Rev. Symb. Log.
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
2023 J jnl
Systems for Non-Reflexive Consequence.
Stud Logica
Carlo Nicolai, Lorenzo Rossi
2021 J jnl
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.
Notre Dame J. Formal Log.
Carlo Nicolai
2021 J jnl
The Modal Logics of Kripke-Feferman Truth.
J. Symb. Log.
Carlo Nicolai, Johannes Stern
2020 J jnl
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE.
CoRR
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
2018 J jnl
On the Costs of Nonclassical Logic.
J. Philos. Log.
Volker Halbach, Carlo Nicolai
2018 J jnl
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.
J. Philos. Log.
Carlo Nicolai, Lorenzo Rossi
2018 J jnl
Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth.
Stud Logica
Carlo Nicolai
2017 J jnl
Equivalences for Truth Predicates.
Rev. Symb. Log.
Carlo Nicolai
2017 J jnl
Iterated reflection over full disquotational truth.
J. Log. Comput.
Martin Fischer, Carlo Nicolai, Leon Horsten
2016 J jnl
A Note on Typed Truth and Consistency Assertions.
J. Philos. Log.
Carlo Nicolai
2015 J jnl
Deflationary truth and the ontology of expressions.
Synth.
Carlo Nicolai
2013 J jnl
Axiomatic Truth, Syntax and Metatheoretic Reasoning.
Rev. Symb. Log.
Graham E. Leigh, Carlo Nicolai