IRIS
NEGRI, SARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.762
AS - Asia 385
NA - Nord America 209
SA - Sud America 38
AF - Africa 5
OC - Oceania 1
Totale 3.400
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.678
US - Stati Uniti d'America 198
SG - Singapore 141
CN - Cina 127
VN - Vietnam 49
FR - Francia 46
BD - Bangladesh 24
BR - Brasile 24
HK - Hong Kong 14
FI - Finlandia 8
IN - India 7
ID - Indonesia 5
NL - Olanda 5
AR - Argentina 4
CA - Canada 4
GB - Regno Unito 4
MX - Messico 4
CH - Svizzera 3
CL - Cile 3
DE - Germania 3
IL - Israele 3
TW - Taiwan 3
UY - Uruguay 3
BG - Bulgaria 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
JM - Giamaica 1
JP - Giappone 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.400
Salva come PNG Salva come JPEG
Città #
Genova 1.238
Genoa 1.003
Vado Ligure 221
Rapallo 131
Singapore 49
San Jose 46
Ashburn 41
Lauterbourg 37
New York 35
Beijing 14
Hong Kong 14
Ho Chi Minh City 13
Helsinki 8
Milan 8
Rome 8
Hanoi 7
Naples 5
Santa Clara 5
Bari 4
Council Bluffs 4
Mexico City 4
Palermo 4
Chennai 3
Florence 3
Frankfurt am Main 3
Los Angeles 3
Manchester 3
Ninh Bình 3
Padua 3
Rishon LeTsiyyon 3
Zurich 3
Amsterdam 2
Bologna 2
Brescia 2
Cincinnati 2
Da Nang 2
Guangzhou 2
Haiphong 2
Lambeth 2
Massafra 2
Massy 2
Messina 2
Montevideo 2
Orem 2
Toulouse 2
Turin 2
Verona 2
Washington 2
Wenzhou 2
Algiers 1
Almaty 1
Angri 1
Athens 1
Atlanta 1
Auburndale 1
Baldwin 1
Bandung 1
Bangkok 1
Biancavilla 1
Bishop 1
Biên Hòa 1
Boa Esperança 1
Bordighera 1
Brisbane 1
Brussels 1
Buffalo 1
Bystričany 1
Bình Phước 1
Cagliari 1
Caldogno 1
Cape Town 1
Caracas 1
Caraguatatuba 1
Casablanca 1
Casale sul Sile 1
Caucaia 1
Chang-hua 1
Charlotte 1
Chattanooga 1
Cinco Saltos 1
Cinisello Balsamo 1
Cloverdale 1
Columbia 1
Conroe 1
Cottage Grove 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
Focşani 1
Totale 3.013
Salva come PNG Salva come JPEG
Nome #
Geometrisation of First-Order Logic 164
Does the deduction theorem fail for modal logic? 122
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis 118
PROOF ANALYSIS for LEWIS COUNTERFACTUALS 114
Conditional beliefs: From neighbourhood semantics to sequent calculus 109
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 96
A sequent calculus for preferential conditional logic based on neighbourhood semantics 94
Glivenko sequent classes in the light of structural proof theory 90
A proof-theoretic approach to formal epistemology 88
Proof analysis beyond geometric theories: From rule systems to systems of rules 88
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 84
Counterfactual logic: labelled and internal calculi, two sides of the same coin? 80
Advances in Modal Logic 79
Meaning in Use 79
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 78
Proofs and Countermodels in Non-Classical Logics 78
Geometric Rules in Infinitary Logic 74
Uniform Labelled Calculi for Conditional and Counterfactual Logics 71
The intensional side of algebraic-topological representation theorems 70
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi 69
Proof theory for quantified monotone modal logics 69
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC" 67
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 63
Alternative Axiomatization for Logics of Agency in a G3 Calculus 63
Proof Analysis: A contribution to Hilbert's last problem 62
Reasoning About Collectively Accepted Group Beliefs 60
Geometric rules in infinitary logic 60
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 57
Glivenko sequent classes and constructive cut elimination in geometric logics 56
Structural Proof Theory 55
Non-Normal Modal Logics: A Challenge to Proof Theory 55
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic 55
A system of proof for Lewis counterfactual 53
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS 51
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi 51
Countermodels from sequent calculi in multi-modal logics 49
Investigations into the Predicate Calculus 48
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 46
A TERMINATING INTUITIONISTIC CALCULUS 44
null 44
null 43
Relevant logics: from semantics to proof systems 42
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors 40
Proof analysis in intermediate logics 40
Remembering Roy Dyckhoff 39
Modal logic for induction 38
MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS 37
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics 31
A Unified Gentzen-style Framework for Until-free LTL 27
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM 21
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics 4
Totale 3.466
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.951
article - articoli 8.228
book - libri 777
conference - conferenze 2.018
curatela - curatele 866
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.062
Totale 31.902
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202123 0 0 0 0 0 0 0 0 0 0 0 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/20261.126 149 30 66 86 90 102 154 66 91 162 70 60
Totale 3.466