Formal Frameworks for Modal Notions Conceived as Predicates

Informations projet

FOREMOTIONS

N° de convention de subvention: 658285

DOI

10.3030/658285

Projet clôturé le 25 Août 2017

Date de signature de la CE 6 Mars 2015

Date de début 1 Janvier 2016

Date de fin 31 Decembre 2017

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 159 460,80

Contribution de l’UE

€ 159 460,80

Coordonné par

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Book chapters (2)

Necessary Truths and Supervaluations

Auteurs: Carlo Nicolai
Publié dans: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Éditeur: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Auteurs: Carlo Nicolai
Publié dans: Objectivity, Realism, and Proof, 2016, Page(s) 265-290, ISBN 978-3-319-31644-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Auteurs: Martin Fischer, Carlo Nicolai, Leon Horsten
Publié dans: Journal of Logic and Computation, 2017, ISSN 0955-792X
Éditeur: Oxford University Press

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

Auteurs: Carlo Nicolai
Publié dans: Studia Logica, Numéro 106/1, 2018, Page(s) 101-130, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Auteurs: Carlo Nicolai, Mario Piazza
Publié dans: Erkenntnis, 2018, ISSN 0165-0106
Éditeur: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Auteurs: Carlo Nicolai, Lorenzo Rossi
Publié dans: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Auteurs: CARLO NICOLAI
Publié dans: The Review of Symbolic Logic, 2017, Page(s) 1-35, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Auteurs: Carlo Nicolai
Publié dans: Journal of Philosophical Logic, Numéro 45/1, 2016, Page(s) 89-119, ISSN 0022-3611
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Auteurs: Volker Halbach, Carlo Nicolai
Publié dans: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3