Sara Negri

Fellin, G., Negri, S. & Orlandelli, E., 1 aug. 2022, 27th International Conference on Types for Proofs and Programs, TYPES 2021. Basold, H., Cockx, J. & Ghilezan, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-16 16 s. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

Glivenko sequent classes and constructive cut elimination in geometric logics

Negri, S., Fellin, G. & Orlandelli, E., 2022, I: Archive for Mathematical Logic. 32 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Investigations into the Predicate Calculus

Negri, S. (Redaktör), von Plato, J. (Redaktör) & Ketonen, O., 2022, College publications. (Logic PhDs)

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

One bright idea: Oiva Ketonen and his logical work

von Plato, J. & Negri, S., 2022, Oiva Ketonen: Investigations Into the Predicate Calculus. Negri, S. & von Plato, J. (red.). London: College publications, s. 1 23 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig

2021

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Das, A. (Redaktör) & Negri, S. (Redaktör), 2021, Cham: Springer Nature Switzerland AG. 486 s. (Lecture Notes in Computer Science)

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review

Geometric rules in infinitary logic

Negri, S., 2021, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Arieli, O. & Zamansky, A. (red.). Springer, s. 265-293 29 s. (Outstanding Contributions to Logic; vol. 21).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Öppen tillgång

Fil

Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic

Tesi, M. & Negri, S., 2021, I: Journal of Logic and Computation. 31, 7, s. 1608–1639 32 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

Girlando, M., Negri, S. & Olivetti, N., 2021, I: Journal of Logic and Computation. 31, 3, s. 947-997 51 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

2020

Advances in Modal Logic

Olivetti, N. (Redaktör), Verbrugge, R. (Redaktör), Negri, S. (Redaktör) & Sandu, G. (Redaktör), 2020, College publications. 620 s. (Advances in Modal Logic; vol. 13)

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review

Modal logic for induction

Negri, S., Fellin, G. & Schuster, P., 2020, Advances in Modal Logic. College publications, Vol. 13. s. 209-227 19 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Dalmonte, T., Negri, S., Olivetti, N. & Pozzato, G. L., 2020, I: Intelligenza artificiale. 14, 2, s. 215-229 15 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

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

Negri, S. & Pavlovic, E., 2020, I: Studia Logica. 109, s. 473-507 35 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

Relevant logics: from semantics to proof systems

Kurokawa, H. & Negri, S., 2020, Contemporary Logic and Computing. Rezus, A. (red.). College publications, Vol. 1. s. 259-306 48 s. (Landscapes in Logic; nr. 1).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Theorem proving for non-normal modal logics

Dalmonte, T., Negri, S., Olivetti, N. & Pozzato, G. L., 2020, I: CEUR Workshop Proceedings. 2785, s. 17-22 6 s.

Forskningsoutput: Tidskriftsbidrag › Konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

2019

From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

Negri, S. & von Plato, J., 11 mars 2019, I: Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences. 377, 2140, 10 s., 20180037.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

Geometric Rules in Infinitary Logic

Negri, S., 2019, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. Piecha, T. & Schroeder-Heister, P. (red.). Tübingen: University of Tübingen, s. 22 1 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig

Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age

Centrone, S. (Redaktör), Negri, S. (Redaktör), Sarikaya, D. (Redaktör) & Schuster, P. (Redaktör), 2019, Springer. 374 s. (Synthese Library)

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review

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

Dalmonte, T., Negri, S., Olivetti, N. & Pozzato, G. L., 2019, AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings. Alviano, M., Greco, G. & Scarcello, F. (red.). Cham: Springer, s. 165-179 13 s. ( Lecture Notes in Artificial Intelligence; vol. 11946).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Proof theory for quantified monotone modal logics

Negri, S. & Orlandelli, E., aug. 2019, I: Logic journal of the IGPL. 27, 4, s. 478–506 29 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

Remembering Roy Dyckhoff: abstract of invited talk

Negri, S. & Graham-Lengrand, S., 2019, Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Cerrito, S. & Popescu, A. (red.). Springer, Vol. 11714. s. xiv-xvii 4 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig

Uniform labelled calculi for conditional and counterfactual logics

Girlando, M., Negri, S. & Sbardolini, G., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Springer, s. 248-263 16 s. (Lecture Notes in Computer Science ; vol. 11541).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2018

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

Girlando, M., Negri, S., Olivetti, N. & Risch, V., dec. 2018, I: The Review of Symbolic Logic. 11, 4, s. 736-779 44 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fil

Counterfactual logic: labelled and internal calculi, two sides of the same coin?

Negri, S., Girlando, M. & Olivetti, N., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (red.). College publications, 20 s. (Advances in Modal Logic; vol. 12).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi

Dalmonte, T., Olivetti, N. & Negri, S., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (red.). College publications, 20 s. (Advances in Modal Logic; vol. 12).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2017

Commentary on Gregory Mints' "Classical and Intuitionistic geometric logic"

Negri, S. & Dyckhoff, R., 2017, I: The IfCoLog Journal of Logics and their Applications. 4, 4, s. 1235-1239 5 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC"

Dyckhoff, R. & Negri, S., maj 2017, I: The IfCoLog Journal of Logics and their Applications. 4, 4, s. 1235-1239 5 s.

Forskningsoutput: Tidskriftsbidrag › Ledare › Vetenskaplig

Non-Normal Modal Logics: A Challenge to Proof Theory

Negri, S., 2017, Logica Yearbook2016. Arazim, P. & Lávička, T. (red.). s. 125-140 16 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Non-normal modal logis: a challenge to proof theory

Negri, S., 2017, The Logica Yearbook 2016. Arazim, P. & Lavicka, T. (red.). Praha: Filosofický ústav AV ČR, v. v. i., s. 125-140 16 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Proof theory for non-normal modal logics: the neighbourhood formalism and basic results

Negri, S., maj 2017, I: The IfCoLog Journal of Logics and their Applications. 4, 4, s. 1241-1286 46 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

The intensional side of algebraic-topological representation theorems

Negri, S., 2017, I: Synthese. 198, Suppl 5, s. 1121-1143 23 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fil

2016

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding

Negri, S. & Dyckhoff, R., 2016, I: Journal of Logic and Computation. 26, 1, s. 169-187 19 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

A system of proof for Lewis counterfactual

Negri, S. & Sbardolini, G., 2016, New Directions in Logic and the Philosophy of Science. College publications, 15 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction

Negri, S. & von Plato, J., 2016, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Probst, D. & Schuster, P. (red.). de Gruyter, s. 269-290 22 s. (Ontos Mathematical Logic; nr. 6).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Glivenko sequent classes in the light of structural proof theory

Negri, S., 2016, I: Archive for Mathematical Logic. 55, 3, s. 461-473 13 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

Logique Conditionnelle des Croyances: Sémantique de Voisinage et Calcul de Séquents

Negri, S., Girlando, M., Olivetti, N. & Risch, V., 2016, Actes des 10es Journées d’Intelligence Artificielle Fondamentale (IAF 2016). 10 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Professionell

Öppen tillgång

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

Negri, S., apr. 2016, I: Journal of Logic and Computation. 26, 2, s. 513-537 25 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus

Negri, S., Olivetti, N., Girlando, M. & Risch, V., 2016, Advances in Modal Logic. Beklemishev, L., Demri, S. & Máté, A. (red.). College publications, Vol. 11. 20 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

2015

A sequent calculus for preferential conditional logic based on neighbourhood semantics

Negri, S. & Olivetti, N., 2015, Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. De Nivelle, H. (red.). Cham: Springer, s. 115-134 20 s. (Lecture Notes in Computer Science; vol. 9523).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2014

Sara Negri

Publikationer

Sökresultat