Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/negri-s

Sara Negri (negri-s)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Girlando, Marianna, Negri, Sara, Olivetti, Nicola and Risch, Vincent. 2016. The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 322–341. London: King’s College Publications.
    Hakli, Raul and Negri, Sara. 2012. Does the Deduction Theorem Fail for Modal Logic? Synthese 187(3): 849–867.
    Maffezioli, Paolo, Naibo, Alberto and Negri, Sara. 2013. The Church-Fitch Knowability Paradox in the Light of Structural Proof Theory.” Synthese 190(14): 2677–2716.
    Negri, Sara. 2002. Varieties of Linear Calculi.” The Journal of Philosophical Logic 31(6): 569–590.
    Negri, Sara. 2007. Proof Analysis in Non-Classical Logics.” in Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28 – August 3, 2005, edited by Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, and John R. Steel, pp. 107–128. Lecture Notes in Logic n. 28. Cambridge: Cambridge University Press.
    Negri, Sara. 2009. Kripke Completeness Revisited.” in Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm, edited by Giuseppe Primiero and Shahid Rahman. Tributes n. 9. London: King’s College Publications.
    Negri, Sara. 2011. Proof Theory for Modal Logic.” Philosophy Compass 6(8): 523–538.
    Negri, Sara. 2014. Recent Advances in Proof Systems for Modal Logic.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 421–422. London: King’s College Publications.
    Negri, Sara. 2017. Non-Normal Modal Logics: A Challenge to Proof Theory.” in The Logica Yearbook 2016, edited by Pavel Arazim and Tomáš Lávička, pp. 125–140. London: College Publications.
    Negri, Sara and Plato, Jan von. 2001. Sequent Calculus in Natural Deduction Style.” The Journal of Symbolic Logic 66(4): 1803–1816.
    Negri, Sara and Plato, Jan von. 2011. Proof Analysis. A Contribution to Hilbert’s Last Problem. Cambridge: Cambridge University Press.