Sara Negri
Orcid: 0000-0003-3958-6312Affiliations:
- University of Genoa, Italy
According to our database1,
Sara Negri
authored at least 61 papers
between 1995 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
1
1
2
5
1
1
1
3
4
1
1
1
2
1
1
2
2
1
3
2
1
2
1
1
1
1
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
2023
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.
Ann. Pure Appl. Log., August, 2023
Arch. Math. Log., July, 2023
2021
Stud Logica, 2021
J. Log. Comput., 2021
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
J. Log. Comput., 2021
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472).
Dagstuhl Reports, 2021
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.
Intelligenza Artificiale, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020
2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
Rev. Symb. Log., 2018
Proceedings of the Advances in Modal Logic 12, 2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results.
FLAP, 2017
Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".
FLAP, 2017
FLAP, 2017
2016
J. Log. Comput., 2016
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding.
J. Log. Comput., 2016
Arch. Math. Log., 2016
Proceedings of the Advances in Modal Logic 11, 2016
2015
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
2014
Proceedings of the Advances in Modal Logic 10, 2014
Cambridge University Press, ISBN: 978-1-10-741723-6, 2014
2013
Synth., 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
2007
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007
2006
2005
The duality of lcassical and constructive notions and proofs.
Proceedings of the From sets and types to topology and analysis, 2005
2004
2003
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.
Arch. Math. Log., 2003
2002
Arch. Math. Log., 2002
2001
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.
Log. J. IGPL, 2001
Structural proof theory.
Cambridge University Press, ISBN: 978-0-521-79307-0, 2001
2000
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.
J. Symb. Log., 2000
1999
Arch. Math. Log., 1999
1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
1997
1996
Proceedings of the Types for Proofs and Programs, 1996
1995
Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic.
Math. Struct. Comput. Sci., 1995
Proceedings of the Types for Proofs and Programs, 1995