Formal Frameworks for Modal Notions Conceived as Predicates

Informacje na temat projektu

FOREMOTIONS

Identyfikator umowy o grant: 658285

DOI

10.3030/658285

Realizacja projektu zakończyła się 25 Sierpnia 2017

Data podpisania przez KE 6 Marca 2015

Data rozpoczęcia 1 Stycznia 2016

Data zakończenia 31 Grudnia 2017

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 159 460,80

Wkład UE

€ 159 460,80

Koordynowany przez

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Book chapters (2)

Necessary Truths and Supervaluations

Autorzy: Carlo Nicolai
Opublikowane w: From Arithmetic to Metaphysics: A Path Through Philosophical Logic, 2018
Wydawca: De Gruyter
DOI: 10.1515/9783110529494-019

More on Systems of Truth and Predicative Comprehension

Autorzy: Carlo Nicolai
Opublikowane w: Objectivity, Realism, and Proof, 2016, Strona(/y) 265-290, ISBN 978-3-319-31644-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-31644-4_14

Peer reviewed articles (7)

Iterated reflection over full disquotational truth

Autorzy: Martin Fischer, Carlo Nicolai, Leon Horsten
Opublikowane w: Journal of Logic and Computation, 2017, ISSN 0955-792X
Wydawca: Oxford University Press

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

Autorzy: Carlo Nicolai
Opublikowane w: Studia Logica, Numer 106/1, 2018, Strona(/y) 101-130, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9727-y

The Implicit Commitment of Arithmetical Theories and Its Semantic Core

Autorzy: Carlo Nicolai, Mario Piazza
Opublikowane w: Erkenntnis, 2018, ISSN 0165-0106
Wydawca: Reidel
DOI: 10.1007/s10670-018-9987-6

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

Autorzy: Carlo Nicolai, Lorenzo Rossi
Opublikowane w: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9438-x

EQUIVALENCES FOR TRUTH PREDICATES

Autorzy: CARLO NICOLAI
Opublikowane w: The Review of Symbolic Logic, 2017, Strona(/y) 1-35, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/S1755020316000435

A Note on Typed Truth and Consistency Assertions

Autorzy: Carlo Nicolai
Opublikowane w: Journal of Philosophical Logic, Numer 45/1, 2016, Strona(/y) 89-119, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-015-9366-6

On the Costs of Nonclassical Logic

Autorzy: Volker Halbach, Carlo Nicolai
Opublikowane w: Journal of Philosophical Logic, 2017, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-017-9424-3