Formal Frameworks for Modal Notions Conceived as Predicates

Projektinformationen

FOREMOTIONS

ID Finanzhilfevereinbarung: 658285

DOI 10.3030/658285

Das Projekt endete am 25 August 2017

EK-Unterschriftsdatum 6 März 2015

Startdatum 1 Januar 2016

Enddatum 31 Dezember 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten € 159 460,80

EU-Beitrag € 159 460,80

Koordiniert durch

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

Veröffentlichungen

Book chapters (2)

Necessary Truths and Supervaluations

Autoren: Carlo Nicolai
Veröffentlicht in: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Herausgeber: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Autoren: Carlo Nicolai
Veröffentlicht in: Objectivity, Realism, and Proof, 2016, Seite(n) 265-290, ISBN 978-3-319-31644-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Autoren: Martin Fischer, Carlo Nicolai, Leon Horsten
Veröffentlicht in: Journal of Logic and Computation, 2017, ISSN 0955-792X
Herausgeber: Oxford University Press

Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth

Autoren: Carlo Nicolai
Veröffentlicht in: Studia Logica, Ausgabe 106/1, 2018, Seite(n) 101-130, ISSN 0039-3215
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Autoren: Carlo Nicolai, Mario Piazza
Veröffentlicht in: Erkenntnis, 2018, ISSN 0165-0106
Herausgeber: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Autoren: Carlo Nicolai, Lorenzo Rossi
Veröffentlicht in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Autoren: CARLO NICOLAI
Veröffentlicht in: The Review of Symbolic Logic, 2017, Seite(n) 1-35, ISSN 1755-0203
Herausgeber: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Autoren: Carlo Nicolai
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 45/1, 2016, Seite(n) 89-119, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Autoren: Volker Halbach, Carlo Nicolai
Veröffentlicht in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3