NEGRI, SARA
NEGRI, SARA
100021 - Dipartimento di Matematica
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
2012-01-01 Dyckhoff, R.; Negri, S.
Alternative Axiomatization for Logics of Agency in a G3 Calculus
2021-01-01 Negri, Sara; Pavlović, Edi
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC"
2017-01-01 Dyckhoff, R; Negri, Sara
Conditional beliefs: From neighbourhood semantics to sequent calculus
2018-01-01 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
Does the deduction theorem fail for modal logic?
2012-01-01 Hakli, R.; Negri, S.
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis
2019-01-01 Negri, S.; Von Plato, J.
Geometrisation of First-Order Logic
2015-01-01 Dyckhoff, R.; Negri, S.
Glivenko sequent classes and constructive cut elimination in geometric logics
2022-01-01 Negri, Sara; Orlandelli, Eugenio; Fellin, Giulio
Glivenko sequent classes in the light of structural proof theory
2016-01-01 Negri, S.
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
2021-01-01 Tesi, Matteo; Negri, Sara
Proof analysis beyond geometric theories: From rule systems to systems of rules
2016-01-01 Negri, S.
PROOF ANALYSIS for LEWIS COUNTERFACTUALS
2016-01-01 Negri, S.; Sbardolini, G.
Proof analysis in intermediate logics
2012-01-01 Dyckhoff, R.; Negri, S.
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS
2017-01-01 Negri, S
Proof theory for quantified monotone modal logics
2019-01-01 Negri, Sara; Orlandelli, Eugenio
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
2020-01-01 Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L.
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
2020-01-01 Negri, S.; Pavlovic, E.
Proofs and Countermodels in Non-Classical Logics
2014-01-01 Negri, S.
Reasoning About Collectively Accepted Group Beliefs
2011-01-01 Hakli, R.; Negri, S.
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
2023-01-01 Tesi, M; Negri, S