Edit Profile Lenzi, Giacomo Compute Distance To: Compute Author ID: lenzi.giacomo Published as: Lenzi, G.; Lenzi, Giacomo External Links: MGP · Wikidata · ORCID · dblp Documents Indexed: 62 Publications since 1989 Reviewing Activity: 13 Reviews all top 5 Co-Authors 13 single-authored 21 Di Nola, Antonio 13 D’Agostino, Giovanna 5 Belluce, Lawrence Peter 4 De Giorgi, Ennio 4 Vitale, Gaetano 3 Berwanger, Dietmar 3 Forti, Marco 3 Grigolia, Revaz 3 Janin, David 3 Tortorelli, Vincenzo Maria 2 Grädel, Erich 2 Nam, Tran Giang 1 Barbieri, Giuseppina Gerarda 1 Dvurečenskij, Anatolij 1 Ferraioli, Anna Rita 1 French, Tim 1 Grassi, Michele 1 Marchioni, Enrico 1 Monteleone, Erich 1 Russo, Anna Carla 1 Spada, Luca 1 Vannucci, Stefano all top 5 Serials 4 Theoretical Computer Science 3 Algebra Universalis 3 Mathematica Slovaca 3 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni 3 Journal of Logic and Computation 3 Mathematical Logic Quarterly (MLQ) 2 Fuzzy Sets and Systems 2 Journal of Pure and Applied Algebra 2 MSCS. Mathematical Structures in Computer Science 2 Archive for Mathematical Logic 2 Bulletin of the Belgian Mathematical Society - Simon Stevin 2 Fundamenta Informaticae 2 Rendiconti della Accademia Nazionale delle Scienze detta dei XL. Memorie di Matematica e Applicazioni. Serie V 2 Azerbaijan Journal of Mathematics 1 Information Processing Letters 1 Journal of Algebra 1 The Journal of Symbolic Logic 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Studia Logica 1 Bulletin de la Société Matheḿatique de Belgique. Série B 1 Annals of Pure and Applied Logic 1 Order 1 Forum Mathematicum 1 International Journal of Foundations of Computer Science 1 Atti della Accademia Nazionale dei Lincei. Serie Ottava. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali 1 Rendiconti del Seminario della Facoltà di Scienze dell’ Università di Cagliari 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems 1 Soft Computing 1 Computing and Informatics 1 Journal of Applied Logic 1 Transactions of A. Razmadze Mathematical Institute 1 Categories and General Algebraic Structures with Applications all top 5 Fields 49 Mathematical logic and foundations (03-XX) 24 Order, lattices, ordered algebraic structures (06-XX) 17 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Algebraic geometry (14-XX) 2 Associative rings and algebras (16-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 32 Publications have been cited 91 times in 71 Documents Cited by ▼ Year ▼ A hierarchy theorem for the \(\mu\)-calculus. Zbl 1045.03516Lenzi, Giacomo 13 1996 \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim 9 2006 The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo 6 2007 A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018D’Agostino, Giovanna; Lenzi, Giacomo 5 2008 On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024D’Agostino, G.; Lenzi, G. 5 2006 Observables on perfect MV-algebras. Zbl 1423.06047Di Nola, Antonio; Dvurečenskij, Anatolij; Lenzi, Giacomo 4 2019 Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca 4 2010 An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078D’Agostino, Giovanna; Lenzi, Giacomo 4 2005 On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo 4 2002 On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019D’Agostino, Giovanna; Lenzi, Giacomo 3 2013 On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145D’agostino, Giovanna; Lenzi, Giacomo 3 2010 On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applictions to the mu-calculus. Zbl 1097.03010Janin, David; Lenzi, Giacomo 3 2004 On the structure of the monadic logic of the binary tree. Zbl 0943.03033Janin, D.; Lenzi, G. 3 1999 On MV-algebras of non-linear functions. Zbl 1423.06046Di Nola, A.; Lenzi, G.; Vitale, G. 2 2017 Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Zbl 1393.06008Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 2 2017 Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038D’Agostino, Giovanna; Lenzi, Giacomo 2 2015 Hyperfinite MV-algebras. Zbl 1276.06006Belluce, L. P.; Di Nola, A.; Lenzi, G. 2 2013 Algebraically closed MV-algebras and their sheaf representation. Zbl 1286.06016Di Nola, A.; Ferraioli, A. R.; Lenzi, G. 2 2013 A new logical characterization of Büchi automata. Zbl 0976.03043Lenzi, Giacomo 2 2001 Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004Di Nola, Antonio; Lenzi, Giacomo 1 2018 Algebraic geometry for \(\ell \)-groups. Zbl 06968523Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 1 2018 Relative subalgebras of MV-algebras. Zbl 1420.06018Belluce, Lawrence Peter; Di Nola, Antonio; Lenzi, Giacomo 1 2017 On free MV algebras and a problem of Tarski. Zbl 1360.06004Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 1 2016 On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003D’Agostino, Giovanna; Lenzi, Giacomo 1 2015 Algebraic geometry for MV-algebras. Zbl 1353.06007Belluce, Lawrence P.; Di Nola, Antonio; Lenzi, Giacomo 1 2014 An algebraic characterization of o-minimal and weakly o-minimal MV-chains. Zbl 1296.06008Lenzi, Giacomo; Marchioni, Enrico 1 2014 Recent results on the modal \(\mu\)-calculus: a survey. Zbl 1276.03027Lenzi, Giacomo 1 2010 A positive set theory with equality revisited. Zbl 1139.03041Lenzi, Giacomo 1 2008 About a positive set theory with equality. Zbl 1276.03040Lenzi, Giacomo 1 2007 The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114Berwanger, Dietmar; Lenzi, Giacomo 1 2005 On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029Janin, David; Lenzi, Giacomo 1 2002 Mu-depth 3 is more than 2: A game-theoretic proof. Zbl 0979.03034Lenzi, Giacomo 1 2001 Observables on perfect MV-algebras. Zbl 1423.06047Di Nola, Antonio; Dvurečenskij, Anatolij; Lenzi, Giacomo 4 2019 Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004Di Nola, Antonio; Lenzi, Giacomo 1 2018 Algebraic geometry for \(\ell \)-groups. Zbl 06968523Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 1 2018 On MV-algebras of non-linear functions. Zbl 1423.06046Di Nola, A.; Lenzi, G.; Vitale, G. 2 2017 Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Zbl 1393.06008Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 2 2017 Relative subalgebras of MV-algebras. Zbl 1420.06018Belluce, Lawrence Peter; Di Nola, Antonio; Lenzi, Giacomo 1 2017 On free MV algebras and a problem of Tarski. Zbl 1360.06004Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano 1 2016 Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038D’Agostino, Giovanna; Lenzi, Giacomo 2 2015 On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003D’Agostino, Giovanna; Lenzi, Giacomo 1 2015 Algebraic geometry for MV-algebras. Zbl 1353.06007Belluce, Lawrence P.; Di Nola, Antonio; Lenzi, Giacomo 1 2014 An algebraic characterization of o-minimal and weakly o-minimal MV-chains. Zbl 1296.06008Lenzi, Giacomo; Marchioni, Enrico 1 2014 On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019D’Agostino, Giovanna; Lenzi, Giacomo 3 2013 Hyperfinite MV-algebras. Zbl 1276.06006Belluce, L. P.; Di Nola, A.; Lenzi, G. 2 2013 Algebraically closed MV-algebras and their sheaf representation. Zbl 1286.06016Di Nola, A.; Ferraioli, A. R.; Lenzi, G. 2 2013 Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca 4 2010 On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145D’agostino, Giovanna; Lenzi, Giacomo 3 2010 Recent results on the modal \(\mu\)-calculus: a survey. Zbl 1276.03027Lenzi, Giacomo 1 2010 A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018D’Agostino, Giovanna; Lenzi, Giacomo 5 2008 A positive set theory with equality revisited. Zbl 1139.03041Lenzi, Giacomo 1 2008 The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo 6 2007 About a positive set theory with equality. Zbl 1276.03040Lenzi, Giacomo 1 2007 \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim 9 2006 On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024D’Agostino, G.; Lenzi, G. 5 2006 An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078D’Agostino, Giovanna; Lenzi, Giacomo 4 2005 The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114Berwanger, Dietmar; Lenzi, Giacomo 1 2005 On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applictions to the mu-calculus. Zbl 1097.03010Janin, David; Lenzi, Giacomo 3 2004 On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo 4 2002 On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029Janin, David; Lenzi, Giacomo 1 2002 A new logical characterization of Büchi automata. Zbl 0976.03043Lenzi, Giacomo 2 2001 Mu-depth 3 is more than 2: A game-theoretic proof. Zbl 0979.03034Lenzi, Giacomo 1 2001 On the structure of the monadic logic of the binary tree. Zbl 0943.03033Janin, D.; Lenzi, G. 3 1999 A hierarchy theorem for the \(\mu\)-calculus. Zbl 1045.03516Lenzi, Giacomo 13 1996 all cited Publications top 5 cited Publications all top 5 Cited by 88 Authors 10 Lenzi, Giacomo 8 van Ditmarsch, Hans Pieter 6 Santocanale, Luigi 5 D’Agostino, Giovanna 4 Di Nola, Antonio 4 Dvurečenskij, Anatolij 4 Lachman, Dominik 3 Bradfield, Julian Charles 3 French, Tim 3 Niwiński, Damian 3 Pinchinat, Sophie 2 Arnold, André 2 Benedikt, Michael A. 2 Berwanger, Dietmar 2 Bozzelli, Laura 2 Gouveia, Maria João 2 Kurz, Alexander 2 Lange, Martin 2 Lapenta, Serafina 2 Leal, Raul Andres 2 Leuştean, Ioana 2 Lutz, Carsten 2 Marchioni, Enrico 2 Nganou, Jean Bernard 2 Paseka, Jan 2 Studer, Thomas 2 Vanden Boom, Michael 2 Vitale, Gaetano 2 Walukiewicz, Igor 2 Wolter, Frank 1 Bai, Ruiqi 1 Balbiani, Philippe 1 Belkhir, Walid 1 Bianchi, Matteo 1 Botoeva, Elena 1 Botur, Michal 1 Bourhis, Pierre 1 Brünnler, Kai 1 Cheikh, Fahima 1 Corradini, Andrea 1 Dam, Mads 1 Dawar, Anuj 1 Divroodi, Ali Rezaei 1 Fang, Liangda 1 Feuillade, Guillaume 1 Flaminio, Tommaso 1 Gerla, Brunella 1 Ghilardi, Silvio 1 Grädel, Erich 1 Guelev, Dimitar P. 1 Gutierrez, Julian 1 Halbach, Volker 1 Hales, James 1 Herzig, Andreas 1 Huang, Fan 1 Jäger, Gerhard 1 Janin, David 1 Kaiser, Lukasz 1 Kianpi, Maurice 1 Klaedtke, Felix 1 Konev, Boris 1 Kretz, Mathis 1 Lang, Jérôme 1 Lehtinen, Karoliina 1 Liu, Hu 1 Liu, Yongmei 1 Marquis, Pierre 1 Montagna, Franco 1 Nguyen, Linh Anh 1 Platzer, André 1 Quickert, Sandra 1 Rabinovich, Roman 1 Russo, Ciro 1 Ryzhikov, Vladislav 1 Seidl, Helmut 1 Skurczyński, Jerzy 1 Spada, Luca 1 ten Cate, Balder David 1 Tóth, Endre 1 van Benthem, Johan F. A. K. 1 Velázquez-Quesada, Fernando Raymundo 1 Visser, Albert 1 Waldhauser, Tamás 1 Wang, Yinü 1 Wen, Xuefeng 1 Wooldridge, Michael J. 1 Yang, Yi-Chuan 1 Zakharyaschev, Michael Viktorovich all top 5 Cited in 23 Serials 11 Theoretical Computer Science 7 Algebra Universalis 4 Annals of Pure and Applied Logic 3 Synthese 3 RAIRO. Theoretical Informatics and Applications 3 ACM Transactions on Computational Logic 2 Artificial Intelligence 2 Information Processing Letters 2 Fuzzy Sets and Systems 2 Journal of Pure and Applied Algebra 2 Mathematica Slovaca 2 Information and Computation 2 Soft Computing 2 Logical Methods in Computer Science 1 Reports on Mathematical Physics 1 Information Sciences 1 Studia Logica 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Mathematical Logic Quarterly (MLQ) 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic all top 5 Cited in 13 Fields 48 Mathematical logic and foundations (03-XX) 33 Computer science (68-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 3 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.