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

Filter
Conference contribution
2018

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

2017

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

2016

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

2014

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

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

2001

A sequent calculus for constructive ordered fields

Negri, S., 2001, Reuniting the Antipodes: Constructive and Nonstandard Views of the Continuum. Kluwer Academic, p. 143-155 13 p.

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

1998

Continuous lattices in formal topology

Negri, S., 1998, Types for Proofs and Programs : International workshop TYPES '96, Aussois, France, December 15-19, 1996. Springer-Verlag, p. 333-353 21 p. (Lecture notes in computer science; vol. 1512).

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

From Kripke models to algebraic counter-valuations

Negri, S. & von Plato, J., 1998, International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397. p. 247-261 15 p.

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

The Hahn-Banach theorem in type theory

Negri, S., Cederquist, J. & Coquand, T., 1998, Twenty-five years of constructive type theory. Oxford University Press, p. 57-72 16 p.

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

1996

A constructive proof of the Heine-Borel covering theorem for formal reals

Negri, S. & Cederquist, J., 1996, Types for Proofs and Programs: Lecture notes in computer science; 1158. Springer-Verlag, p. 62-75 14 p.

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

Stone bases, alias the constructive content of Stone representation

Negri, S., 1996, Logic and algebra: Lecture notes in pure and applied mathematics. Marcel Dekker, p. 617-636 30 p.

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

The generalized Riemann integral on locally compact spaces : : extended abstract

Negri, S. & Edalat, A., 1996, Advances in theory and formal methods of computing : Proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996.. p. 73-84 12 p.

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