NEGRI, SARA
NEGRI, SARA
100021 - Dipartimento di Matematica
A proof-theoretic approach to formal epistemology
2024-01-01 Negri, Sara; Pavlović, Edi
A system of proof for Lewis counterfactual
2016-01-01 Negri, Sara; Sbardolini, Giorgio
Counterfactual logic: labelled and internal calculi, two sides of the same coin?
2018-01-01 Girlando, M.; Negri, S.; Olivetti, N.
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction
2016-01-01 Negri, S; von Plato, J
Geometric rules in infinitary logic
2021-01-01 Negri, Sara
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione
2015-01-01 Negri, Sara
Meaning in Use
2015-01-01 Negri, S.; von Plato, J.
Modal logic for induction
2020-01-01 Fellin, Giulio; Negri, Sara; Schuster, Peter
Non-Normal Modal Logics: A Challenge to Proof Theory
2017-01-01 Negri, S
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
2018-01-01 Dalmonte, Tiziano; Negri, Sara; Olivetti, Nicola
Relevant logics: from semantics to proof systems
2020-01-01 Negri, Sara; Kurokawa, Hidenori
Remembering Roy Dyckhoff
2019-01-01 Graham-Lengrand, Stephane; Negri, Sara
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus
2016-01-01 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
Uniform Labelled Calculi for Conditional and Counterfactual Logics
2019-01-01 Girlando, M.; Negri, S.; Sbardolini, G.