Carlo Nicolai

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 12

Top Topics

Cut Elimination

Owl Dl Ontologies

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype. Rev. Symb. Log. 16 (2) (2023)
Carlo Nicolai, Lorenzo Rossi
Systems for Non-Reflexive Consequence. Stud Logica 111 (6) (2023)
Carlo Nicolai
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents. Notre Dame J. Formal Log. 62 (4) (2021)
Carlo Nicolai, Johannes Stern
The Modal Logics of Kripke-Feferman Truth. J. Symb. Log. 86 (1) (2021)
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE. CoRR (2020)
Volker Halbach, Carlo Nicolai
On the Costs of Nonclassical Logic. J. Philos. Log. 47 (2) (2018)
Carlo Nicolai, Lorenzo Rossi
Principles for Object-Linguistic Consequence: from Logical to Irreflexive. J. Philos. Log. 47 (3) (2018)
Carlo Nicolai
Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. Stud Logica 106 (1) (2018)
Martin Fischer, Carlo Nicolai, Leon Horsten
Iterated reflection over full disquotational truth. J. Log. Comput. 27 (8) (2017)
Carlo Nicolai
Equivalences for Truth Predicates. Rev. Symb. Log. 10 (2) (2017)
Carlo Nicolai
A Note on Typed Truth and Consistency Assertions. J. Philos. Log. 45 (1) (2016)
Carlo Nicolai
Deflationary truth and the ontology of expressions. Synth. 192 (12) (2015)
Graham E. Leigh, Carlo Nicolai
Axiomatic Truth, Syntax and Metatheoretic Reasoning. Rev. Symb. Log. 6 (4) (2013)