Carlo Nicolai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implicit commitment in a general setting Journal Of Logic And Computation	2024-11-12	Paper
Systems for non-reflexive consequence Studia Logica	2023-11-17	Paper
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE The Review of Symbolic Logic	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: truth, justification, and entitlement Nôus	2022-04-12	Paper
Cut elimination for systems of transparent truth with restricted initial sequents Notre Dame Journal of Formal Logic	2022-02-14	Paper
The implicit commitment of arithmetical theories and its semantic core Erkenntnis	2021-11-24	Paper
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH Journal of Symbolic Logic	2021-07-12	Paper
More on Systems of Truth and Predicative Comprehension Boston Studies in the Philosophy and History of Science	2020-07-13	Paper
Cut elimination for systems of transparent truth with restricted initial sequents	2020-06-14	Paper
Necessary Truths and Supervaluations From Arithmetic to Metaphysics	2020-02-03	Paper
Iterated reflection over full disquotational truth Journal Of Logic And Computation	2018-11-20	Paper
Principles for object-linguistic consequence: from logical to irreflexive Journal of Philosophical Logic	2018-07-20	Paper
On the costs of nonclassical logic Journal of Philosophical Logic	2018-05-28	Paper
Provably true sentences across axiomatizations of Kripke's theory of truth Studia Logica	2018-04-04	Paper
Equivalences for truth predicates The Review of Symbolic Logic	2017-07-06	Paper
Deflationary truth and the ontology of expressions Synthese	2017-03-08	Paper
A note on typed truth and consistency assertions Journal of Philosophical Logic	2016-04-04	Paper
Axiomatic truth, syntax and metatheoretic reasoning The Review of Symbolic Logic	2014-05-02	Paper

Research outcomes over time

This page was built for person: Carlo Nicolai