Research output per year
Research output per year
Personal profile
Description of research and teaching
philosophical logic, proof theory, inferentialism, modal logic, non-classical logics, conditionals and counterfactuals, formal epistemology
Fields of Science
- 611 Philosophy
- Philosophical Logic
- Modal Logic
- Non-classical Logic
- Proof Theory
- Constructivism
- Formal Epistemology
International and National Collaboration
Publications and projects within past five years.
-
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 p.Research output: Book/Report › Book › Scientific › peer-review
-
Structural proof theory: with an appendix by Aarne Ranta
Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 p.Research output: Book/Report › Book › Scientific › peer-review
-
Proof analysis in modal logic
Negri, S., 2005, In: Journal of Philosophical Logic. 34, 5-6, p. 507-544 38 p.Research output: Contribution to journal › Article › Scientific › peer-review
-
Does the deduction theorem fail for modal logic?
Hakli, R. & Negri, S., 2012, In: Synthese. 187, 3, p. 849-867 19 p.Research output: Contribution to journal › Article › Scientific › peer-review
-
The Church–Fitch knowability paradox in the light of structural proof theory
Negri, S., Maffezioli, P. & Naibo, A., 2012, In: Synthese. 2012, p. 1-40 40 p.Research output: Contribution to journal › Article › Scientific › peer-review
Prizes
-
AIIA Best Student Paper Award
Negri, Sara (Recipient), Olivetti, N. (Recipient), Dalmonte, T. (Recipient) & Pozzato, G. L. (Recipient), 21 Nov 2019
Prize: Prizes and awards
-
Best Presentation Award - Classical and Non-Classical Logic section
Pavlovic, E. (Recipient) & Negri, Sara (Recipient), Jun 2019
Prize: Prizes and awards
-
Activities
-
A proof-theoretic approach to formal epistemology
Edi Pavlovic (Speaker) & Sara Negri (Speaker)
21 Sep 2020Activity: Talk or presentation types › Oral presentation
-
Mathematisches Forschungsinstitut Oberwolfach
Sara Negri (Visiting researcher)
8 Nov 2020 → 15 Nov 2020Activity: Visiting an external institution types › Academic visit to other institution
-
CLMPST2019
Sara Negri (Scientific Committee Chair)
9 Aug 2019Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Sequent calculi for logics of agency: The deliberative STIT
Sara Negri (Speaker)
12 Nov 2019Activity: Talk or presentation types › Invited talk
-
26th Workshop on Logic, Language, Information and Computation
Sara Negri (Attendee) & Marianna Girlando (Speaker: Presenter)
2 Jul 2019 → 5 Jul 2019Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars