Sara Negri - RankMe

67 papers A* 1B 11C 1Journal 44Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Terminating intuitionistic Calculus. J. Symb. Log. Giulio Fellin, Sara Negri
2025	J	`jnl`	G3-style Sequent Calculi for Gurevich Logic and Its Neighbors. Stud Logica Norihiro Kamide, Sara Negri
2025	J	`jnl`	Modular Sequent Calculi for interpretability Logics. Rev. Symb. Log. Cosimo Perini Brogi, Sara Negri, Nicola Olivetti
2024	—	`conf`	A Unified Gentzen-style Framework for Until-free LTL. NCL Norihiro Kamide, Sara Negri
2023	J	`jnl`	Glivenko sequent classes and constructive cut elimination in geometric logics. Arch. Math. Log. Giulio Fellin, Sara Negri, Eugenio Orlandelli
2023	J	`jnl`	The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. Ann. Pure Appl. Log. Matteo Tesi, Sara Negri
2021	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings TABLEAUX Anupam Das, Sara Negri
2021	—	`conf`	Constructive Cut Elimination in Geometric Logic. TYPES Giulio Fellin, Sara Negri, Eugenio Orlandelli
2021	J	`jnl`	Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). Dagstuhl Reports Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster
2021	J	`jnl`	Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. J. Log. Comput. Matteo Tesi, Sara Negri
2021	J	`jnl`	Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. Stud Logica Sara Negri, Edi Pavlovic
2021	J	`jnl`	The intensional side of algebraic-topological representation theorems. Synth. Sara Negri
2021	J	`jnl`	Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. Marianna Girlando, Sara Negri, Nicola Olivetti
2020	B	`ed.`	13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. AiML Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu
2020	B	`conf`	Modal Logic for Induction. AiML Giulio Fellin, Sara Negri, Peter M. Schuster
2020	J	`jnl`	Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	—	`conf`	Theorem Proving for Non-normal Modal Logics. OVERLAY Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. CoRR Marianna Girlando, Sara Negri, Nicola Olivetti
2019	—	`conf`	PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2019	J	`jnl`	Proof theory for quantified monotone modal logics. Log. J. IGPL Sara Negri, Eugenio Orlandelli
2019	C	`conf`	Uniform Labelled Calculi for Conditional and Counterfactual Logics. WoLLIC Marianna Girlando, Sara Negri, Giorgio Sbardolini
2018	J	`jnl`	Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
2018	B	`conf`	Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Advances in Modal Logic Marianna Girlando, Nicola Olivetti, Sara Negri
2018	B	`conf`	Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Advances in Modal Logic Tiziano Dalmonte, Nicola Olivetti, Sara Negri
2017	J	`jnl`	Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic". FLAP Roy Dyckhoff, Sara Negri
2017	J	`jnl`	Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism". FLAP Sara Negri
2017	J	`jnl`	Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results. FLAP Sara Negri
2016	J	`jnl`	A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding. J. Log. Comput. Roy Dyckhoff, Sara Negri
2016	J	`jnl`	Glivenko sequent classes in the light of structural proof theory. Arch. Math. Log. Sara Negri
2016	J	`jnl`	Proof Analysis for Lewis Counterfactuals. Rev. Symb. Log. Sara Negri, Giorgio Sbardolini
2016	J	`jnl`	Proof analysis beyond geometric theories: from rule systems to systems of rules. J. Log. Comput. Sara Negri
2016	B	`conf`	The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
2015	B	`conf`	A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. TABLEAUX Sara Negri, Nicola Olivetti
2015	J	`jnl`	Geometrisation of First-order Logic. Bull. Symb. Log. Roy Dyckhoff, Sara Negri
2014	—	`book`	Proof Analysis - A Contribution to Hilbert's Last Problem. Sara Negri, Jan von Plato
2014	J	`jnl`	Proofs and Countermodels in Non-Classical Logics. Logica Universalis Sara Negri
2014	B	`conf`	Recent Advances in Proof Systems for Modal Logic. Advances in Modal Logic Sara Negri
2013	B	`conf`	On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. TABLEAUX Sara Negri
2013	J	`jnl`	The Church-Fitch knowability paradox in the light of structural proof theory. Synth. Paolo Maffezioli, Alberto Naibo, Sara Negri
2012	A*	`conf`	Countermodels from Sequent Calculi in Multi-Modal Logics. LICS Deepak Garg, Valerio Genovese, Sara Negri
2012	J	`jnl`	Does the deduction theorem fail for modal logic? Synth. Raul Hakli, Sara Negri
2012	J	`jnl`	Proof analysis in intermediate logics. Arch. Math. Log. Roy Dyckhoff, Sara Negri
2011	J	`jnl`	Reasoning About Collectively Accepted Group Beliefs. J. Philos. Log. Raul Hakli, Sara Negri
2009	B	`conf`	Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. TABLEAUX Bianca Boretti, Sara Negri
2007	—	`conf`	Proof Theory for Distributed Knowledge. CLIMA Raul Hakli, Sara Negri
2006	J	`jnl`	Decision methods for linearly ordered Heyting algebras. Arch. Math. Log. Roy Dyckhoff, Sara Negri
2005	J	`jnl`	Permutability of Rules for Linear Lattices. J. Univers. Comput. Sci. Sara Negri
2005	J	`jnl`	Proof Analysis in Modal Logic. J. Philos. Log. Sara Negri
2005	—	`ch.`	The duality of lcassical and constructive notions and proofs. From sets and types to topology and analysis Sara Negri, Jan von Plato
2004	J	`jnl`	Proof systems for lattice theory. Math. Struct. Comput. Sci. Sara Negri, Jan von Plato
2004	J	`jnl`	Proof-theoretical analysis of order relations. Arch. Math. Log. Sara Negri, Jan von Plato, Thierry Coquand
2003	J	`jnl`	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. Arch. Math. Log. Sara Negri
2002	J	`jnl`	A normalizing system of natural deduction for intuitionistic linear logic. Arch. Math. Log. Sara Negri
2002	J	`jnl`	Continuous Domains as Formal Spaces. Math. Struct. Comput. Sci. Sara Negri
2002	J	`jnl`	Varieties of Linear Calculi. J. Philos. Log. Sara Negri
2001	J	`jnl`	Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. Log. J. IGPL Roy Dyckhoff, Sara Negri
2001	J	`jnl`	Sequent Calculus in Natural Deduction Style. J. Symb. Log. Sara Negri, Jan von Plato
2001	—	`book`	Structural proof theory. Sara Negri, Jan von Plato
2000	J	`jnl`	Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. J. Symb. Log. Roy Dyckhoff, Sara Negri
1999	J	`jnl`	Sequent calculus proof theory of intuitionistic apartness and order relations. Arch. Math. Log. Sara Negri
1999	J	`jnl`	The continuum as a formal space. Arch. Math. Log. Sara Negri, Daniele Soravia
1998	J	`jnl`	Cut elimination in the presence of axioms. Bull. Symb. Log. Sara Negri, Jan von Plato
1998	B	`conf`	From Kripke Models to Algebraic Counter-Valuations. TABLEAUX Sara Negri, Jan von Plato
1997	J	`jnl`	Tychonoff's Theorem in the Framework of Formal Topologies. J. Symb. Log. Sara Negri, Silvio Valentini
1996	—	`conf`	Continous Lattices in Formal Topology. TYPES Sara Negri
1995	—	`conf`	A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. TYPES Jan Cederquist, Sara Negri
1995	J	`jnl`	Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. Math. Struct. Comput. Sci. Sara Negri