Sara Negri

According to our database, Sara Negri authored at least 60 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.

Matteo Tesi, Sara Negri

Ann. Pure Appl. Log., August, 2023

Glivenko sequent classes and constructive cut elimination in geometric logics.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Arch. Math. Log., July, 2023

2021

The intensional side of algebraic-topological representation theorems.

Sara Negri

Synth., 2021

Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.

Sara Negri, Edi Pavlovic

Stud Logica, 2021

Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic.

Matteo Tesi, Sara Negri

J. Log. Comput., 2021

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.

Marianna Girlando, Sara Negri, Nicola Olivetti

J. Log. Comput., 2021

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472).

Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster

Dagstuhl Reports, 2021

Constructive Cut Elimination in Geometric Logic.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

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

Theorem Proving for Non-normal Modal Logics.

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Modal Logic for Induction.

Giulio Fellin, Sara Negri, Peter M. Schuster

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Proof theory for quantified monotone modal logics.

Sara Negri, Eugenio Orlandelli

Log. J. IGPL, 2019

Uniform Labelled Calculi for Conditional and Counterfactual Logics.

Marianna Girlando, Sara Negri, Giorgio Sbardolini

Proceedings of the Logic, Language, Information, and Computation, 2019

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Rev. Symb. Log., 2018

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.

Marianna Girlando, Nicola Olivetti, Sara Negri

Proceedings of the Advances in Modal Logic 12, 2018

Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.

Tiziano Dalmonte, Nicola Olivetti, Sara Negri

Proceedings of the Advances in Modal Logic 12, 2018

2017

Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results.

Sara Negri

FLAP, 2017

Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".

Sara Negri

FLAP, 2017

Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic".

Roy Dyckhoff, Sara Negri

FLAP, 2017

2016

Proof Analysis for Lewis Counterfactuals.

Sara Negri, Giorgio Sbardolini

Rev. Symb. Log., 2016

Proof analysis beyond geometric theories: from rule systems to systems of rules.

Sara Negri

J. Log. Comput., 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

Glivenko sequent classes in the light of structural proof theory.

Sara Negri

Arch. Math. Log., 2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Proceedings of the Advances in Modal Logic 11, 2016

2015

Geometrisation of First-order Logic.

Roy Dyckhoff, Sara Negri

Bull. Symb. Log., 2015

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.

Sara Negri, Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

Proofs and Countermodels in Non-Classical Logics.

Sara Negri

Logica Universalis, 2014

Recent Advances in Proof Systems for Modal Logic.

Sara Negri

Proceedings of the Advances in Modal Logic 10, 2014

Proof Analysis - A Contribution to Hilbert's Last Problem.

Sara Negri, Jan von Plato

Cambridge University Press, ISBN: 978-1-10-741723-6, 2014

2013

The Church-Fitch knowability paradox in the light of structural proof theory.

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synth., 2013

On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.

Sara Negri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

Does the deduction theorem fail for modal logic?

Raul Hakli, Sara Negri

Synth., 2012

Proof analysis in intermediate logics.

Roy Dyckhoff, Sara Negri

Arch. Math. Log., 2012

Countermodels from Sequent Calculi in Multi-Modal Logics.

Deepak Garg, Valerio Genovese, Sara Negri

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

Reasoning About Collectively Accepted Group Beliefs.

Raul Hakli, Sara Negri

J. Philos. Log., 2011

2009

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.

Bianca Boretti, Sara Negri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2007

Proof Theory for Distributed Knowledge.

Raul Hakli, Sara Negri

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

Decision methods for linearly ordered Heyting algebras.

Roy Dyckhoff, Sara Negri

Arch. Math. Log., 2006

2005

Permutability of Rules for Linear Lattices.

Sara Negri

J. Univers. Comput. Sci., 2005

Proof Analysis in Modal Logic.

Sara Negri

J. Philos. Log., 2005

The duality of lcassical and constructive notions and proofs.

Sara Negri, Jan von Plato

Proceedings of the From sets and types to topology and analysis, 2005

2004

Proof systems for lattice theory.

Sara Negri, Jan von Plato

Math. Struct. Comput. Sci., 2004

Proof-theoretical analysis of order relations.

Sara Negri, Jan von Plato, Thierry Coquand

Arch. Math. Log., 2004

2003

Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.

Sara Negri

Arch. Math. Log., 2003

2002

Continuous Domains as Formal Spaces.

Sara Negri

Math. Struct. Comput. Sci., 2002

Varieties of Linear Calculi.

Sara Negri

J. Philos. Log., 2002

A normalizing system of natural deduction for intuitionistic linear logic.

Sara Negri

Arch. Math. Log., 2002

2001

Sequent Calculus in Natural Deduction Style.

Sara Negri, Jan von Plato

J. Symb. Log., 2001

Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.

Roy Dyckhoff, Sara Negri

Log. J. IGPL, 2001

Structural proof theory.

Sara Negri, Jan von Plato

Cambridge University Press, ISBN: 978-0-521-79307-0, 2001

2000

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.

Roy Dyckhoff, Sara Negri

J. Symb. Log., 2000

1999

The continuum as a formal space.

Sara Negri, Daniele Soravia

Arch. Math. Log., 1999

Sequent calculus proof theory of intuitionistic apartness and order relations.

Sara Negri

Arch. Math. Log., 1999

1998

Cut elimination in the presence of axioms.

Sara Negri, Jan von Plato

Bull. Symb. Log., 1998

From Kripke Models to Algebraic Counter-Valuations.

Sara Negri, Jan von Plato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1997

Tychonoff's Theorem in the Framework of Formal Topologies.

Sara Negri, Silvio Valentini

J. Symb. Log., 1997

1996

Continous Lattices in Formal Topology.

Sara Negri

Proceedings of the Types for Proofs and Programs, 1996

1995

Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic.

Sara Negri

Math. Struct. Comput. Sci., 1995

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals.

Jan Cederquist, Sara Negri

Proceedings of the Types for Proofs and Programs, 1995