Photo of Sara Negri
  • PL 24 (Unioninkatu 40)

    00014

    Finland

19952018
If you made any changes in Pure these will be visible here soon.

Publications 1995 2018

2018

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

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

Research output: Contribution to journalArticleScientificpeer-review

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. (eds.). College Publications, 20 p. (Advances in Modal Logic; vol. 12).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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. (eds.). College Publications, 20 p. (Advances in Modal Logic; vol. 12).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Proof theory for quantified monotone modal logics

Negri, S. & Orlandelli, E., 2018, (Accepted/In press) In : Logic journal of the IGPL. 30 p.

Research output: Contribution to journalArticleScientificpeer-review

2017

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

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access

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

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

Research output: Contribution to journalEditorialScientific

Non-Normal Modal Logics: A Challenge to Proof Theory

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Non-normal modal logis: a challenge to proof theory

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

Negri, S., May 2017, In : The IfCoLog Journal of Logics and their Applications. 4, 4, p. 1241-1286 46 p.

Research output: Contribution to journalArticleScientificpeer-review

The intensional side of algebraic-topological representation theorems

Negri, S., 2017, In : Synthese. 25 p., 1573-0964.

Research output: Contribution to journalArticleScientificpeer-review

2016

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

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

Research output: Contribution to journalArticleScientificpeer-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 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-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. (eds.). de Gruyter, p. 269-290 22 p. (Ontos Mathematical Logic; no. 6).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Glivenko sequent classes in the light of structural proof theory

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Open Access

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

Negri, S., Apr 2016, In : Journal of Logic and Computation. 26, 2, p. 513-537 25 p.

Research output: Contribution to journalArticleScientificpeer-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. (eds.). College Publications, Vol. 11. 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-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. (ed.). Cham: Springer, p. 115-134 20 p. (Lecture Notes in Computer Science; vol. 9523).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Geometrization of first-order logic

Negri, S. & Dyckhoff, R., 4 Jun 2015, In : Bulletin of Symbolic Logic. 21, 2, p. 123-163 41 p.

Research output: Contribution to journalArticleScientificpeer-review

Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione

Negri, S., 2015, Le direzioni della ricerca logica in Italia. Hosni, H., Lolli, G. & Toffalori, C. (eds.). Pisa: Edizioni della Scuola Normale Superiore, 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Meaning in use

Negri, S. & von Plato, J., 2015, Dag Prawitz on Proofs and Meaning. Springer, p. 239-258

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Proof analysis for Lewis counterfactuals

Negri, S. & Sbardolini, G., 1 Dec 2015, In : The Review of Symbolic Logic. 9, 1, p. 44-75 32 p.

Research output: Contribution to journalArticleScientificpeer-review

2014

Proof Analysis: a contribution to Hilbert´s last problem

Negri, S. & von Plato, J., 2014, Cambridge University Press. 276 p.

Research output: Book/ReportBookScientificpeer-review

Proofs and Countermodels in Non-Classical Logics

Negri, S., 28 Feb 2014, In : Logica Universalis. 36 p.

Research output: Contribution to journalArticleScientificpeer-review

Recent advances in proof systems for modal logic

Negri, S., 2014, Advances in Modal Logic. Gore', R., Kooi, B. & Kurucz, A. (eds.). UK: College Publications, Vol. 10. p. 421-422 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

2013

On the duality of proofs and countermodels in labelled sequent calculi

Negri, S., 2013, Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, Tableaux 2013, Nancy, France, September 2013, Proceedings. Galmiche, D. & Larchey-Wendling, D. (eds.). 5 p. (LNAI ; vol. 2013, no. 8123).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

2012

Countermodels from Sequent Calculi in Multi-Modal Logics

Negri, S., Deepak, G. & Genovese, V., 2012, Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . p. 315-324 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Does the deduction theorem fail for modal logic?

Hakli, R. & Negri, S., 2012, In : Synthese. 187, 3, p. 849-867 19 p.

Research output: Contribution to journalArticleScientificpeer-review

Proof analysis in intermediate logics

Dyckhoff, R. & Negri, S., 2012, In : Archive for Mathematical Logic. 51, 1-2, p. 71-92 22 p.

Research output: Contribution to journalArticleScientificpeer-review

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

Negri, S., Maffezioli, P. & Naibo, A., 2012, In : Synthese. 2012, p. 1-40 40 p.

Research output: Contribution to journalArticleScientificpeer-review

2011

A proof theoretical perspective on Public Announcement Logic

Negri, S. & Maffezioli, P., 2011, In : Logic and Philosophy of Science. 9, 1, p. 49-59 11 p.

Research output: Contribution to journalArticleScientificpeer-review

Proof Analysis: A Contribution to Hilbert's Last Problem

Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 p.

Research output: Book/ReportBookScientificpeer-review

Proof theory for modal logic

Negri, S., 2011, In : Philosophy Compass. 6, 8, p. 523-538 16 p.

Research output: Contribution to journalReview ArticleScientificpeer-review

Reasoning about collectively accepted group beliefs

Hakli, R. & Negri, S., 2011, In : Journal of Philosophical Logic. 40, 4, p. 531-555 25 p.

Research output: Contribution to journalArticleScientificpeer-review

2010

A Gentzen-style analysis of public announcement logic

Negri, S. & Maffezioli, P., 2010, Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication . Arrazola, X. & Ponte, M. (eds.). University of the Basque Country Press, p. 293-313 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

On the finitization of Priorean linear time

Negri, S. & Boretti, B., 2010, New Essays in Logic and Philosophy of Science. D'Agostino, M., Giorello, G., Laudisa, F., Pievani, T. & Sinigaglia, C. (eds.). London: College Publications, p. 67-79 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2009

Kripke completeness revisited

Negri, S., 2009, Acts of knowledge: history, philosophy and logic editors: Giuseppe Primiero and Shahid Rahman. London: College Publications, p. 233-264 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2008

Decidability for priorean linear time using a fixed-point labelled calculus

Boretti, B. & Negri, S., 2008, Automated reasoning with automated tableaux and related methods: [edited by] Martin Giese, Arild Waaler. New York: Springer, p. 108-122 15 p. (Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Proof analysis in non-classical logics

Negri, S., 2008, Logic Colloquium 2005. Cambridge: Cambridge University Press, p. 107-128 22 p. (Lecture notes in logic; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Proof theory for distributed knowledge

Hakli, R. & Negri, S., 2008, Computational logic in multi-agent systems: [edited by] Fariba Sadri, Ken Satoh. New York: Springer, p. 100-116 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2006

Decision methods for lineary ordedred Heyting algebras

Dyckhoff, R. & Negri, S., 2006, In : Archive for Mathematical Logic. 45, p. 411-422 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Equality in the presence of apartness: an application of structural proof analysis to intuitionistic axiomatics

Boretti, B. & Negri, S., 2006, In : Philosophia scientiae : travaux d'historie et de philosophie des sciences. 2006, 6, p. 61-79 19 p.

Research output: Contribution to journalArticleScientificpeer-review

2005

Permutability of rules for linear lattices

Negri, S., 2005, In : J.UCS the journal of universal computer science.. 11, 12, p. 1986-1995 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Proof analysis in modal logic

Negri, S., 2005, In : Journal of Philosophical Logic. 34, 5-6, p. 507-544 38 p.

Research output: Contribution to journalArticleScientificpeer-review

The duality of classical and constructive notions and proofs

Negri, S. & von Plato, J., 2005, From sets and types to topology and analysis. Oxford: CLARENDON PRESS, p. 149-161 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2004

Proof systems for lattice theory

Negri, S. & von Plato, J., 2004, In : MSCS : mathematical structures in computer science.. 14, p. 507-526 20 p.

Research output: Contribution to journalArticleScientificpeer-review

Proof-theoretical analysis of order relations

von Plato, J., Negri, S. & Coquand, T., 2004, In : Archive for Mathematical Logic. 43, p. 297-309

Research output: Contribution to journalArticleScientificpeer-review

2003

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

Negri, S., 2003, In : Archive for Mathematical Logic. 42, p. 389-401 13 p.

Research output: Contribution to journalArticleScientificpeer-review

2002

A normalizing system of natural deduction for intuitionistic linear logic

Negri, S., 2002, In : Archive for Mathematical Logic. 41, p. 789-810 22 p.

Research output: Contribution to journalArticleScientificpeer-review