Formal Frameworks for Modal Notions Conceived as Predicates

Información del proyecto

FOREMOTIONS

Identificador del acuerdo de subvención: 658285

DOI

10.3030/658285

Proyecto finalizado el 25 Agosto 2017

Fecha de la firma de la CE 6 Marzo 2015

Fecha de inicio 1 Enero 2016

Fecha de finalización 31 Diciembre 2017

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 159 460,80

Aportación de la UE

€ 159 460,80

Coordinado por

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Book chapters (2)

Necessary Truths and Supervaluations

Autores: Carlo Nicolai
Publicado en: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Editor: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Autores: Carlo Nicolai
Publicado en: Objectivity, Realism, and Proof, 2016, Página(s) 265-290, ISBN 978-3-319-31644-4
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Autores: Martin Fischer, Carlo Nicolai, Leon Horsten
Publicado en: Journal of Logic and Computation, 2017, ISSN 0955-792X
Editor: Oxford University Press

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

Autores: Carlo Nicolai
Publicado en: Studia Logica, Edición 106/1, 2018, Página(s) 101-130, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Autores: Carlo Nicolai, Mario Piazza
Publicado en: Erkenntnis, 2018, ISSN 0165-0106
Editor: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Autores: Carlo Nicolai, Lorenzo Rossi
Publicado en: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Autores: CARLO NICOLAI
Publicado en: The Review of Symbolic Logic, 2017, Página(s) 1-35, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Autores: Carlo Nicolai
Publicado en: Journal of Philosophical Logic, Edición 45/1, 2016, Página(s) 89-119, ISSN 0022-3611
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Autores: Volker Halbach, Carlo Nicolai
Publicado en: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3