ORLANDELLI, EUGENIO
 Distribuzione geografica
Continente #
EU - Europa 654
NA - Nord America 181
AS - Asia 20
OC - Oceania 9
SA - Sud America 8
AF - Africa 4
Totale 876
Nazione #
FR - Francia 297
US - Stati Uniti d'America 179
IT - Italia 175
IE - Irlanda 95
AT - Austria 19
GB - Regno Unito 15
DE - Germania 10
ES - Italia 10
AU - Australia 9
CN - Cina 9
PT - Portogallo 8
BG - Bulgaria 5
AR - Argentina 4
CZ - Repubblica Ceca 3
FI - Finlandia 3
NL - Olanda 3
RS - Serbia 3
AE - Emirati Arabi Uniti 2
BR - Brasile 2
CL - Cile 2
DZ - Algeria 2
IN - India 2
IR - Iran 2
KR - Corea 2
RU - Federazione Russa 2
SG - Singapore 2
ZA - Sudafrica 2
BE - Belgio 1
CA - Canada 1
GR - Grecia 1
JP - Giappone 1
MX - Messico 1
NO - Norvegia 1
SI - Slovenia 1
SM - San Marino 1
UA - Ucraina 1
Totale 876
Città #
Dublin 95
Bologna 70
Paris 50
Columbus 26
Ashburn 15
Santa Cruz 14
Vienna 13
Chicago 9
Bruneck 8
Buffalo 8
Seattle 8
Venelles 8
Milan 7
Mansfield Center 6
Rome 6
Augsburg 5
Fairfield 5
Herndon 5
Houston 5
Sofia 5
Braga 4
Cambridge 4
Forlì 4
London 4
Melbourne 4
Monzuno 4
Málaga 4
Napoli 4
Sant'Arpino 4
Southend 4
Tandil 4
Wilmington 4
Woodbridge 4
Boardman 3
Los Angeles 3
Porto 3
St. Lorenzen 3
Amsterdam 2
Barcelona 2
Basking Ridge 2
Beijing 2
Cagliari 2
Cedar Knolls 2
Cesena 2
Chippenham 2
Citta 2
Foligno 2
Hangzhou 2
Helsinki 2
Johannesburg 2
Las Vegas 2
New York 2
Portici 2
Ravenna 2
Reggio Emilia 2
Saint Petersburg 2
San Diego 2
San Giuliano Terme 2
St Andrews 2
Waltham 2
Alessandria 1
Alkmaar 1
Arese 1
Athens 1
Auburn 1
Baerum 1
Benisa 1
Bentivoglio 1
Bracciano 1
Brunico 1
Budrio 1
Canberra 1
Casamassima 1
Ceccano 1
Charlotte 1
Clearwater 1
Council Bluffs 1
Cuautitlán Izcalli 1
Dallas 1
Derby 1
Dresden 1
Dubai 1
Ealing 1
Ferrara 1
Florence 1
Gandía 1
Genova 1
Grenoble 1
Guangzhou 1
Henderson 1
Imola 1
Jolanda di Savoia 1
Lancenigo-Villorba 1
Lappeenranta 1
Leuven 1
Lincoln 1
Madrid 1
Minucciano 1
Modena 1
Neubiberg 1
Totale 518
Nome #
Interpolation in singular geometric theories, file e1dcb333-6461-7715-e053-1705fe0a6cc9 318
Interpolation in Extensions of First-Order Logic, file e1dcb335-3d57-7715-e053-1705fe0a6cc9 141
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate, file e1dcb333-4a26-7715-e053-1705fe0a6cc9 92
Nested Sequents for Quantified Modal Logics, file c1f3fac5-9bf8-44f0-b4a5-ce311f7f9e71 38
Constructive Cut Elimination in Geometric Logic, file e3fc1d48-4e49-41c2-a039-21ebc5bfe6e5 38
Non-Normal Super-Strict Implications, file e1dcb33a-09ad-7715-e053-1705fe0a6cc9 37
Proof-theoretic pluralism, file 9a9562bd-5c82-4f0d-8835-39848488a093 33
Labelled sequent calculi for logics of strict implication, file 8f44a314-77eb-4a2c-88dc-1bd54d81862a 30
FOIL with constant domains revisited, file e1dcb335-e06e-7715-e053-1705fe0a6cc9 26
Super-Strict Implications, file e1dcb336-9356-7715-e053-1705fe0a6cc9 23
Labelled calculi for quantified modal logics with definite descriptions, file e1dcb337-a2d5-7715-e053-1705fe0a6cc9 22
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, file e1dcb336-ad76-7715-e053-1705fe0a6cc9 20
Glivenko sequent classes and constructive cut elimination in geometric logics, file c7051fef-f6b5-4d84-9a79-cb3e44b25725 15
Logicality, Double-Line Rules, and Modalities, file e1dcb331-d64c-7715-e053-1705fe0a6cc9 15
Proof theory for quantified monotone modal logics, file 71c19760-a3f5-4eac-9734-e8ae1f47b1ef 14
Free Quantified Epistemic Logics, file e1dcb32c-d8aa-7715-e053-1705fe0a6cc9 7
Proof systems for super-strict implication, file 408b3f48-c5eb-42ca-add2-d08076bf42d9 4
Decidable term-modal logics, file e1dcb335-d26f-7715-e053-1705fe0a6cc9 4
Proof-theoretic pluralism, file e1dcb332-828a-7715-e053-1705fe0a6cc9 2
A Syntactic Proof of the Decidability of First-Order Monadic Logic, file c6274b7a-1788-4552-9a7c-70f6c95c17c8 1
sequent calculi for indexed epistemic logics, file e1dcb32f-1f67-7715-e053-1705fe0a6cc9 1
Interpolation Theorem for First-Order Theories, file e1dcb32f-d694-7715-e053-1705fe0a6cc9 1
null, file e1dcb331-8151-7715-e053-1705fe0a6cc9 1
Logica modale quantificata e designatori non rigidi, file e1dcb335-cbf0-7715-e053-1705fe0a6cc9 1
Corso di Logica modale proposizionale, file e1dcb335-cbf5-7715-e053-1705fe0a6cc9 1
Totale 885
Categoria #
all - tutte 2.106
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.106


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2019/202033 0 0 0 0 0 0 0 12 18 0 3 0
2020/202163 12 5 4 8 4 5 6 4 4 7 2 2
2021/202278 2 4 8 2 3 9 9 5 4 6 20 6
2022/2023191 2 1 15 18 48 6 12 25 38 7 14 5
2023/2024516 4 5 10 17 21 257 107 31 18 15 31 0
Totale 885