Carlo Nicolai

Available identifiers

Publication	Date of Publication	Type
Implicit commitment in a general setting	2024-11-12	Paper
Systems for non-reflexive consequence	2023-11-17	Paper
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE	2023-05-26	Paper
Implicit Commitment in a General Setting	2023-02-06	Paper
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers	2022-09-23	Paper
Hypatia's silence	2022-04-12	Paper
Cut elimination for systems of transparent truth with restricted initial sequents	2022-02-14	Paper
The implicit commitment of arithmetical theories and its semantic core	2021-11-24	Paper
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH	2021-07-12	Paper
More on Systems of Truth and Predicative Comprehension	2020-07-13	Paper
Cut elimination for systems of transparent truth with restricted initial sequents	2020-06-14	Paper
Necessary Truths and Supervaluations	2020-02-03	Paper
Iterated reflection over full disquotational truth	2018-11-20	Paper
Principles for object-linguistic consequence: from logical to irreflexive	2018-07-20	Paper
On the costs of nonclassical logic	2018-05-28	Paper
Provably true sentences across axiomatizations of Kripke's theory of truth	2018-04-04	Paper
EQUIVALENCES FOR TRUTH PREDICATES	2017-07-06	Paper
Deflationary truth and the ontology of expressions	2017-03-08	Paper
A note on typed truth and consistency assertions	2016-04-04	Paper
AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING	2014-05-02	Paper

This page was built for person: Carlo Nicolai