Carlo Nicolai - RankMe

16 papers Journal 16

Year	Rank	Type	Title / 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