Formal Frameworks for Modal Notions Conceived as Predicates

Informazioni relative al progetto

FOREMOTIONS

ID dell’accordo di sovvenzione: 658285

DOI

10.3030/658285

Progetto concluso il 25 Agosto 2017

Data della firma CE 6 Marzo 2015

Data di avvio 1 Gennaio 2016

Data di completamento 31 Dicembre 2017

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 159 460,80

Contributo UE

€ 159 460,80

Coordinato da

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (2)

Necessary Truths and Supervaluations

Autori: Carlo Nicolai
Pubblicato in: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Editore: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Autori: Carlo Nicolai
Pubblicato in: Objectivity, Realism, and Proof, 2016, Pagina/e 265-290, ISBN 978-3-319-31644-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Autori: Martin Fischer, Carlo Nicolai, Leon Horsten
Pubblicato in: Journal of Logic and Computation, 2017, ISSN 0955-792X
Editore: Oxford University Press

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

Autori: Carlo Nicolai
Pubblicato in: Studia Logica, Numero 106/1, 2018, Pagina/e 101-130, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Autori: Carlo Nicolai, Mario Piazza
Pubblicato in: Erkenntnis, 2018, ISSN 0165-0106
Editore: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Autori: Carlo Nicolai, Lorenzo Rossi
Pubblicato in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Autori: CARLO NICOLAI
Pubblicato in: The Review of Symbolic Logic, 2017, Pagina/e 1-35, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Autori: Carlo Nicolai
Pubblicato in: Journal of Philosophical Logic, Numero 45/1, 2016, Pagina/e 89-119, ISSN 0022-3611
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Autori: Volker Halbach, Carlo Nicolai
Pubblicato in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3