IRIS
NEGRI, SARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.644
Totale 1.644
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 1.644
Totale 1.644
Salva come PNG Salva come JPEG
Città #
Genova 1.238
Genoa 263
Rapallo 131
Vado Ligure 11
Bordighera 1
Totale 1.644
Salva come PNG Salva come JPEG
Nome #
Geometrisation of First-Order Logic 99
Does the deduction theorem fail for modal logic? 77
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis 73
PROOF ANALYSIS for LEWIS COUNTERFACTUALS 73
Conditional beliefs: From neighbourhood semantics to sequent calculus 61
Glivenko sequent classes in the light of structural proof theory 57
The intensional side of algebraic-topological representation theorems 55
Proof analysis beyond geometric theories: From rule systems to systems of rules 55
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 50
A sequent calculus for preferential conditional logic based on neighbourhood semantics 50
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 50
Geometric Rules in Infinitary Logic 49
Proofs and Countermodels in Non-Classical Logics 49
Meaning in Use 46
Uniform Labelled Calculi for Conditional and Counterfactual Logics 45
null 44
Reasoning About Collectively Accepted Group Beliefs 43
Proof theory for quantified monotone modal logics 43
null 43
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 41
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi 40
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT 36
Counterfactual logic: labelled and internal calculi, two sides of the same coin? 35
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC" 34
Proof Analysis: A contribution to Hilbert's last problem 33
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 31
Structural Proof Theory 27
Alternative Axiomatization for Logics of Agency in a G3 Calculus 26
Geometric rules in infinitary logic 26
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic 26
Glivenko sequent classes and constructive cut elimination in geometric logics 25
A system of proof for Lewis counterfactual 24
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS 24
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus 24
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age 23
Non-Normal Modal Logics: A Challenge to Proof Theory 22
Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings 22
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi 21
Remembering Roy Dyckhoff 20
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions 14
Investigations into the Predicate Calculus 13
Advances in Modal Logic 13
Modal logic for induction 11
Relevant logics: from semantics to proof systems 10
Countermodels from sequent calculi in multi-modal logics 9
Proof analysis in intermediate logics 5
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM 1
Totale 1.698
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.996
article - articoli 4.796
book - libri 428
conference - conferenze 1.194
curatela - curatele 403
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.175
Totale 17.992
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020571 0 0 0 0 0 0 170 77 79 134 86 25
2020/2021281 20 39 8 33 12 16 35 40 7 35 13 23
2021/2022435 8 19 7 52 2 14 33 96 61 41 39 63
2022/2023196 42 1 1 3 39 30 0 15 38 3 14 10
2023/2024202 19 18 20 6 15 13 3 7 9 10 29 53
2024/202513 4 9 0 0 0 0 0 0 0 0 0 0
Totale 1.698