NEGRI, SARA

NEGRI, SARA  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 1-gen-2012 Dyckhoff, R.; Negri, S.
A sequent calculus for preferential conditional logic based on neighbourhood semantics 1-gen-2015 Negri, S.; Olivetti, N.
A system of proof for Lewis counterfactual 1-gen-2016 Negri, Sara; Sbardolini, Giorgio
Advances in Modal Logic 1-gen-2020 Negri, Sara; Olivetti, Nicola; Sandu, Gabriel; Verbrugge, Rineke
Alternative Axiomatization for Logics of Agency in a G3 Calculus 1-gen-2021 Negri, Sara; Pavlović, Edi
Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings 1-gen-2021 Das, Anupam; Negri, Sara
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC" 1-gen-2017 Dyckhoff, R; Negri, Sara
Conditional beliefs: From neighbourhood semantics to sequent calculus 1-gen-2018 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
Counterfactual logic: labelled and internal calculi, two sides of the same coin? 1-gen-2018 Girlando, M.; Negri, S.; Olivetti, N.
Countermodels from sequent calculi in multi-modal logics 1-gen-2012 Garg, D.; Genovese, V.; Negri, S.
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 1-gen-2016 Negri, S; von Plato, J
Does the deduction theorem fail for modal logic? 1-gen-2012 Hakli, R.; Negri, S.
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis 1-gen-2019 Negri, S.; Von Plato, J.
Geometric Rules in Infinitary Logic 1-gen-2019 Negri, Sara
Geometric rules in infinitary logic 1-gen-2021 Negri, Sara
Geometrisation of First-Order Logic 1-gen-2015 Dyckhoff, R.; Negri, S.
Glivenko sequent classes and constructive cut elimination in geometric logics 1-gen-2022 Negri, Sara; Orlandelli, Eugenio; Fellin, Giulio
Glivenko sequent classes in the light of structural proof theory 1-gen-2016 Negri, S.
Investigations into the Predicate Calculus 1-gen-2022 Negri, Sara
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 1-gen-2015 Negri, Sara