IRIS
NEGRI, SARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.808
NA - Nord America 429
AS - Asia 400
Continente sconosciuto - Info sul continente non disponibili 66
SA - Sud America 50
AF - Africa 5
OC - Oceania 1
Totale 3.759
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.723
US - Stati Uniti d'America 404
SG - Singapore 141
CN - Cina 128
VN - Vietnam 52
FR - Francia 46
BR - Brasile 31
BD - Bangladesh 30
HK - Hong Kong 15
CA - Canada 10
FI - Finlandia 8
IN - India 7
ID - Indonesia 6
MX - Messico 6
GB - Regno Unito 5
NL - Olanda 5
AR - Argentina 4
UY - Uruguay 4
CH - Svizzera 3
CL - Cile 3
CO - Colombia 3
DE - Germania 3
EC - Ecuador 3
IL - Israele 3
TW - Taiwan 3
BG - Bulgaria 2
CR - Costa Rica 2
JM - Giamaica 2
LT - Lituania 2
MA - Marocco 2
PH - Filippine 2
RU - Federazione Russa 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
AU - Australia 1
BE - Belgio 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
GR - Grecia 1
HN - Honduras 1
HU - Ungheria 1
IE - Irlanda 1
JP - Giappone 1
KW - Kuwait 1
KZ - Kazakistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MN - Mongolia 1
MY - Malesia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
PR - Porto Rico 1
QA - Qatar 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TR - Turchia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 3.693
Salva come PNG Salva come JPEG
Città #
Genova 1.238
Genoa 1.003
Vado Ligure 221
Rapallo 131
San Jose 106
Ashburn 77
Singapore 49
Lauterbourg 37
New York 36
Beijing 15
Hong Kong 15
Ho Chi Minh City 14
Milan 12
Rome 10
Bari 9
Helsinki 8
Los Angeles 8
Naples 8
Santa Clara 8
Hanoi 7
Chicago 6
Atlanta 4
Catania 4
Council Bluffs 4
Manchester 4
Mexico City 4
Padua 4
Palermo 4
Washington 4
Brescia 3
Chennai 3
Florence 3
Frankfurt am Main 3
Jacksonville 3
Nashville 3
Ninh Bình 3
Rishon LeTsiyyon 3
Turin 3
Zurich 3
Amery 2
Amsterdam 2
Bologna 2
Cincinnati 2
Collingswood 2
Columbia 2
Columbus 2
Da Nang 2
Dallas 2
Grand Rapids 2
Green Bay 2
Greenwich 2
Guangzhou 2
Guayaquil 2
Haiphong 2
Hays 2
Kokomo 2
La Porte 2
Lambeth 2
Limeira 2
Maldonado 2
Marion 2
Massafra 2
Massy 2
Medford 2
Messina 2
Montevideo 2
Orem 2
Rio de Janeiro 2
Toulouse 2
Tân Phong 2
Verona 2
Wenzhou 2
Algiers 1
Almaty 1
Angri 1
Athens 1
Auburndale 1
Aversa 1
Baldwin 1
Baldwin Park 1
Baltimore 1
Bandung 1
Bangkok 1
Barnwell 1
Barrancabermeja 1
Bell Gardens 1
Biancavilla 1
Bishop 1
Biên Hòa 1
Boa Esperança 1
Bogotá 1
Bordighera 1
Boston 1
Bricktown 1
Brisbane 1
Brooklyn 1
Brussels 1
Buffalo 1
Bystričany 1
Bình Phước 1
Totale 3.174
Salva come PNG Salva come JPEG
Nome #
Geometrisation of First-Order Logic 175
Does the deduction theorem fail for modal logic? 129
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis 127
PROOF ANALYSIS for LEWIS COUNTERFACTUALS 126
Conditional beliefs: From neighbourhood semantics to sequent calculus 117
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 103
A sequent calculus for preferential conditional logic based on neighbourhood semantics 99
A proof-theoretic approach to formal epistemology 98
Proof analysis beyond geometric theories: From rule systems to systems of rules 98
Glivenko sequent classes in the light of structural proof theory 93
Advances in Modal Logic 86
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 86
Meaning in Use 85
Counterfactual logic: labelled and internal calculi, two sides of the same coin? 83
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 80
Proofs and Countermodels in Non-Classical Logics 80
Geometric Rules in Infinitary Logic 79
Uniform Labelled Calculi for Conditional and Counterfactual Logics 74
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi 73
Proof theory for quantified monotone modal logics 73
The intensional side of algebraic-topological representation theorems 72
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC" 71
Proof Analysis: A contribution to Hilbert's last problem 68
Alternative Axiomatization for Logics of Agency in a G3 Calculus 68
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 67
Geometric rules in infinitary logic 65
Reasoning About Collectively Accepted Group Beliefs 63
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT 63
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic 60
Glivenko sequent classes and constructive cut elimination in geometric logics 59
Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings 59
A system of proof for Lewis counterfactual 58
Non-Normal Modal Logics: A Challenge to Proof Theory 58
Structural Proof Theory 57
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS 56
Investigations into the Predicate Calculus 55
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors 54
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics 53
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi 53
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age 53
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus 52
Countermodels from sequent calculi in multi-modal logics 52
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions 51
A TERMINATING INTUITIONISTIC CALCULUS 51
Proof analysis in intermediate logics 46
Relevant logics: from semantics to proof systems 45
null 44
null 43
MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS 42
Modal logic for induction 42
Remembering Roy Dyckhoff 41
A Unified Gentzen-style Framework for Until-free LTL 35
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM 29
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics 10
Totale 3.759
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.260
article - articoli 8.971
book - libri 841
conference - conferenze 2.155
curatela - curatele 924
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.369
Totale 34.520
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022408 0 0 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/20261.144 149 30 66 86 90 102 154 66 91 162 70 78
2026/2027275 143 39 93 0 0 0 0 0 0 0 0 0
Totale 3.759