A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. - Jan Cederquist; Sara Negri (TYPES, 1995)

Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. - Sara Negri (Math. Struct. Comput. Sci., 1995)

Continous Lattices in Formal Topology. - Sara Negri (TYPES, 1996)

Tychonoff's Theorem in the Framework of Formal Topologies. - Sara Negri; Silvio Valentini (J. Symb. Log., 1997)

From Kripke Models to Algebraic Counter-Valuations. - Sara Negri; Jan von Plato (TABLEAUX, 1998)

Cut elimination in the presence of axioms. - Sara Negri; Jan von Plato (Bull. Symb. Log., 1998)

Sequent calculus proof theory of intuitionistic apartness and order relations. - Sara Negri (Arch. Math. Log., 1999)

The continuum as a formal space. - Sara Negri; Daniele Soravia (Arch. Math. Log., 1999)

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. - Roy Dyckhoff; Sara Negri (J. Symb. Log., 2000)

Structural proof theory. - Sara Negri; Jan von Plato (Cambridge University Press, 2001)

Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. - Roy Dyckhoff; Sara Negri (Log. J. IGPL, 2001)

Sequent Calculus in Natural Deduction Style. - Sara Negri; Jan von Plato (J. Symb. Log., 2001)

A normalizing system of natural deduction for intuitionistic linear logic. - Sara Negri (Arch. Math. Log., 2002)

Varieties of Linear Calculi. - Sara Negri (J. Philos. Log., 2002)

Continuous Domains as Formal Spaces. - Sara Negri (Math. Struct. Comput. Sci., 2002)

Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. - Sara Negri (Arch. Math. Log., 2003)

Proof-theoretical analysis of order relations. - Sara Negri; Jan von Plato; Thierry Coquand (Arch. Math. Log., 2004)

Proof systems for lattice theory. - Sara Negri; Jan von Plato (Math. Struct. Comput. Sci., 2004)

The duality of lcassical and constructive notions and proofs. - Sara Negri; Jan von Plato (From sets and types to topology and analysis, 2005)

Proof Analysis in Modal Logic. - Sara Negri (J. Philos. Log., 2005)

Permutability of Rules for Linear Lattices. - Sara Negri (J. Univers. Comput. Sci., 2005)

Decision methods for linearly ordered Heyting algebras. - Roy Dyckhoff; Sara Negri (Arch. Math. Log., 2006)

Proof Theory for Distributed Knowledge. - Raul Hakli; Sara Negri (CLIMA, 2007)

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. - Bianca Boretti; Sara Negri (TABLEAUX, 2009)

Reasoning About Collectively Accepted Group Beliefs. - Raul Hakli; Sara Negri (J. Philos. Log., 2011)

Countermodels from Sequent Calculi in Multi-Modal Logics. - Deepak Garg 001; Valerio Genovese; Sara Negri (LICS, 2012)

Proof analysis in intermediate logics. - Roy Dyckhoff; Sara Negri (Arch. Math. Log., 2012)

Does the deduction theorem fail for modal logic? - Raul Hakli; Sara Negri (Synth., 2012)

On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. - Sara Negri (TABLEAUX, 2013)

The Church-Fitch knowability paradox in the light of structural proof theory. - Paolo Maffezioli; Alberto Naibo; Sara Negri (Synth., 2013)

Proof Analysis - A Contribution to Hilbert's Last Problem. - Sara Negri; Jan von Plato (Cambridge University Press, 2014)

Recent Advances in Proof Systems for Modal Logic. - Sara Negri (Advances in Modal Logic, 2014)

Proofs and Countermodels in Non-Classical Logics. - Sara Negri (Logica Universalis, 2014)

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. - Sara Negri; Nicola Olivetti (TABLEAUX, 2015)

Geometrisation of First-order Logic. - Roy Dyckhoff; Sara Negri (Bull. Symb. Log., 2015)

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Advances in Modal Logic, 2016)

Glivenko sequent classes in the light of structural proof theory. - Sara Negri (Arch. Math. Log., 2016)

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding. - Roy Dyckhoff; Sara Negri (J. Log. Comput., 2016)

Proof analysis beyond geometric theories: from rule systems to systems of rules. - Sara Negri (J. Log. Comput., 2016)

Proof Analysis for Lewis Counterfactuals. - Sara Negri; Giorgio Sbardolini (Rev. Symb. Log., 2016)

Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic". - Roy Dyckhoff; Sara Negri (FLAP, 2017)

Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism". - Sara Negri (FLAP, 2017)

Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results. - Sara Negri (FLAP, 2017)

Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. - Tiziano Dalmonte; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. - Marianna Girlando; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Rev. Symb. Log., 2018)

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2019)

Uniform Labelled Calculi for Conditional and Counterfactual Logics. - Marianna Girlando; Sara Negri; Giorgio Sbardolini (WoLLIC, 2019)

Proof theory for quantified monotone modal logics. - Sara Negri; Eugenio Orlandelli (Log. J. IGPL, 2019)

Modal Logic for Induction. - Giulio Fellin; Sara Negri; Peter M. Schuster (AiML, 2020)

Theorem Proving for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (OVERLAY, 2020)

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2020)

Constructive Cut Elimination in Geometric Logic. - Giulio Fellin; Sara Negri; Eugenio Orlandelli (TYPES, 2021)

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). - Thierry Coquand; Hajime Ishihara; Sara Negri; Peter M. Schuster (Dagstuhl Reports, 2021)

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. - Marianna Girlando; Sara Negri; Nicola Olivetti (J. Log. Comput., 2021)

Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. - Matteo Tesi; Sara Negri (J. Log. Comput., 2021)

Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. - Sara Negri; Edi Pavlovic (Stud Logica, 2021)

The intensional side of algebraic-topological representation theorems. - Sara Negri (Synth., 2021)

Glivenko sequent classes and constructive cut elimination in geometric logics. - Giulio Fellin; Sara Negri; Eugenio Orlandelli (Arch. Math. Log., 2023)

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. - Matteo Tesi; Sara Negri (Ann. Pure Appl. Log., 2023)

A Unified Gentzen-style Framework for Until-free LTL. - Norihiro Kamide; Sara Negri (NCL, 2024)

A Terminating intuitionistic Calculus. - Giulio Fellin; Sara Negri (J. Symb. Log., 2025)