Formal Frameworks for Modal Notions Conceived as Predicates

Project Information

FOREMOTIONS

Grant agreement ID: 658285

DOI

10.3030/658285

Project terminated on 25 August 2017

EC signature date 6 March 2015

Start date 1 January 2016

End date 31 December 2017

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 159 460,80

EU contribution

€ 159 460,80

Coordinated by

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Book chapters (2)

Necessary Truths and Supervaluations

Author(s): Carlo Nicolai
Published in: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Publisher: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Author(s): Carlo Nicolai
Published in: Objectivity, Realism, and Proof, 2016, Page(s) 265-290, ISBN 978-3-319-31644-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Author(s): Martin Fischer, Carlo Nicolai, Leon Horsten
Published in: Journal of Logic and Computation, 2017, ISSN 0955-792X
Publisher: Oxford University Press

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

Author(s): Carlo Nicolai
Published in: Studia Logica, Issue 106/1, 2018, Page(s) 101-130, ISSN 0039-3215
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Author(s): Carlo Nicolai, Mario Piazza
Published in: Erkenntnis, 2018, ISSN 0165-0106
Publisher: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Author(s): Carlo Nicolai, Lorenzo Rossi
Published in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Author(s): CARLO NICOLAI
Published in: The Review of Symbolic Logic, 2017, Page(s) 1-35, ISSN 1755-0203
Publisher: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Author(s): Carlo Nicolai
Published in: Journal of Philosophical Logic, Issue 45/1, 2016, Page(s) 89-119, ISSN 0022-3611
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Author(s): Volker Halbach, Carlo Nicolai
Published in: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3