IRIS
NEGRI, SARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.733
AS - Asia 342
NA - Nord America 145
SA - Sud America 38
AF - Africa 5
OC - Oceania 1
Totale 3.264
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.650
US - Stati Uniti d'America 138
SG - Singapore 137
CN - Cina 112
VN - Vietnam 49
FR - Francia 46
BR - Brasile 24
HK - Hong Kong 13
FI - Finlandia 8
IN - India 7
ID - Indonesia 5
AR - Argentina 4
GB - Regno Unito 4
NL - Olanda 4
CH - Svizzera 3
CL - Cile 3
DE - Germania 3
IL - Israele 3
MX - Messico 3
TW - Taiwan 3
UY - Uruguay 3
BD - Bangladesh 2
BG - Bulgaria 2
CA - Canada 2
EC - Ecuador 2
LT - Lituania 2
MA - Marocco 2
PH - Filippine 2
RU - Federazione Russa 2
TH - Thailandia 2
AU - Australia 1
BE - Belgio 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
GR - Grecia 1
HU - Ungheria 1
IE - Irlanda 1
KW - Kuwait 1
KZ - Kazakistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MY - Malesia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
QA - Qatar 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 3.264
Salva come PNG Salva come JPEG
Città #
Genova 1.238
Genoa 1.003
Vado Ligure 221
Rapallo 131
Singapore 45
San Jose 43
Lauterbourg 37
Ashburn 29
New York 28
Ho Chi Minh City 13
Hong Kong 13
Helsinki 8
Hanoi 7
Milan 6
Bari 4
Council Bluffs 4
Naples 4
Palermo 4
Rome 4
Chennai 3
Frankfurt am Main 3
Mexico City 3
Ninh Bình 3
Rishon LeTsiyyon 3
Santa Clara 3
Zurich 3
Amsterdam 2
Brescia 2
Da Nang 2
Guangzhou 2
Haiphong 2
Lambeth 2
Los Angeles 2
Manchester 2
Massy 2
Montevideo 2
Orem 2
Padua 2
Toulouse 2
Turin 2
Verona 2
Wenzhou 2
Algiers 1
Almaty 1
Athens 1
Atlanta 1
Auburndale 1
Bandung 1
Bangkok 1
Beijing 1
Biên Hòa 1
Boa Esperança 1
Bologna 1
Bordighera 1
Brisbane 1
Brussels 1
Bystričany 1
Bình Phước 1
Cagliari 1
Cape Town 1
Caracas 1
Caraguatatuba 1
Casablanca 1
Casale sul Sile 1
Caucaia 1
Chang-hua 1
Charlotte 1
Cinco Saltos 1
Cloverdale 1
Curitiba 1
Dakar 1
Daytona Beach 1
Delhi 1
Denver 1
Detroit 1
Dhaka 1
Doha 1
Dublin 1
Duque de Caxias 1
Esmeraldas 1
Farroupilha 1
Fayetteville 1
Fes 1
Florence 1
Focşani 1
Guayaquil 1
Haarlem 1
Hartford 1
Hillerød 1
Hoofddorp 1
Hải Dương 1
Ibiúna 1
Itanhaém 1
Jakarta 1
Joinville 1
Kuwait City 1
Lima 1
Limassol 1
Limeira 1
Los Andes 1
Totale 2.953
Salva come PNG Salva come JPEG
Nome #
Geometrisation of First-Order Logic 155
Does the deduction theorem fail for modal logic? 122
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis 114
PROOF ANALYSIS for LEWIS COUNTERFACTUALS 108
Conditional beliefs: From neighbourhood semantics to sequent calculus 100
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 93
Glivenko sequent classes in the light of structural proof theory 89
A sequent calculus for preferential conditional logic based on neighbourhood semantics 87
Proof analysis beyond geometric theories: From rule systems to systems of rules 85
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 83
A proof-theoretic approach to formal epistemology 81
Counterfactual logic: labelled and internal calculi, two sides of the same coin? 79
Advances in Modal Logic 78
Proofs and Countermodels in Non-Classical Logics 78
Meaning in Use 77
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 76
Geometric Rules in Infinitary Logic 74
The intensional side of algebraic-topological representation theorems 70
Uniform Labelled Calculi for Conditional and Counterfactual Logics 68
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi 68
Proof theory for quantified monotone modal logics 68
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC" 64
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 63
Alternative Axiomatization for Logics of Agency in a G3 Calculus 62
Reasoning About Collectively Accepted Group Beliefs 59
Geometric rules in infinitary logic 59
Proof Analysis: A contribution to Hilbert's last problem 58
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT 57
Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings 55
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic 55
Non-Normal Modal Logics: A Challenge to Proof Theory 54
Structural Proof Theory 53
A system of proof for Lewis counterfactual 52
Glivenko sequent classes and constructive cut elimination in geometric logics 51
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS 50
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi 50
Countermodels from sequent calculi in multi-modal logics 49
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions 48
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus 46
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age 45
null 44
A TERMINATING INTUITIONISTIC CALCULUS 43
null 43
Investigations into the Predicate Calculus 42
Relevant logics: from semantics to proof systems 42
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors 40
Proof analysis in intermediate logics 37
Modal logic for induction 37
Remembering Roy Dyckhoff 36
A Unified Gentzen-style Framework for Until-free LTL 23
MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS 21
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics 21
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM 15
Totale 3.327
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.877
article - articoli 7.637
book - libri 723
conference - conferenze 1.896
curatela - curatele 813
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.808
Totale 29.754
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202171 0 0 0 0 0 0 0 0 0 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/2025655 4 54 11 8 130 32 56 115 45 32 53 115
2025/2026987 149 30 66 86 90 102 154 66 91 153 0 0
Totale 3.327