Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tutkimuksen ja opetuksen kuvaus
philosophical logic, proof theory, inferentialism, modal logic, non-classical logics, conditionals and counterfactuals, formal epistemology
Tieteenalat
- 611 Filosofia
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutkimustuotos
-
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 SivumääräTutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
-
Structural proof theory: with an appendix by Aarne Ranta
Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 SivumääräTutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
-
Proof analysis in modal logic
Negri, S., 2005, julkaisussa: Journal of Philosophical Logic. 34, 5-6, s. 507-544 38 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
Does the deduction theorem fail for modal logic?
Hakli, R. & Negri, S., 2012, julkaisussa: Synthese. 187, 3, s. 849-867 19 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
The Church–Fitch knowability paradox in the light of structural proof theory
Negri, S., Maffezioli, P. & Naibo, A., 2012, julkaisussa: Synthese. 2012, s. 1-40 40 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Palkinnot
-
AIIA Best Student Paper Award
Negri, S. (Vastaanottaja), Olivetti, N. (Vastaanottaja), Dalmonte, T. (Vastaanottaja) & Pozzato, G. L. (Vastaanottaja), 21 marrask. 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
Best Presentation Award - Classical and Non-Classical Logic section
Pavlovic, E. (Vastaanottaja) & Negri, S. (Vastaanottaja), kesäk. 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
Scholar of Consequence 2019
Negri, S. (Vastaanottaja), 1 toukok. 2019
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit
-
A proof-theoretic approach to formal epistemology
Pavlovic, E. (Puhuja) & Negri, S. (Puhuja)
21 syysk. 2020Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Mathematisches Forschungsinstitut Oberwolfach
Negri, S. (Vieraileva tutkija)
8 marrask. 2020 → 15 marrask. 2020Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Negri, S. (Osallistuja) & Pavlovic, E. (Puhuja: esitelmän pitäjä)
4 kesäk. 2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
CLMPST2019
Negri, S. (Tieteellisen komitean puheenjohtaja)
9 elok. 2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Sequent calculi for logics of agency: The deliberative STIT
Negri, S. (Puhuja)
12 marrask. 2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä