×

zbMATH — the first resource for mathematics

Lenzi, Giacomo

Compute Distance To:
Author ID: lenzi.giacomo Recent zbMATH articles by "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

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

Publications by Year

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.03516
Lenzi, Giacomo
13
1996
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
9
2006
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
6
2007
A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018
D’Agostino, Giovanna; Lenzi, Giacomo
5
2008
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
5
2006
Observables on perfect MV-algebras. Zbl 1423.06047
Di Nola, Antonio; Dvurečenskij, Anatolij; Lenzi, Giacomo
4
2019
Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005
Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca
4
2010
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078
D’Agostino, Giovanna; Lenzi, Giacomo
4
2005
On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
4
2002
On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019
D’Agostino, Giovanna; Lenzi, Giacomo
3
2013
On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145
D’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.03010
Janin, David; Lenzi, Giacomo
3
2004
On the structure of the monadic logic of the binary tree. Zbl 0943.03033
Janin, D.; Lenzi, G.
3
1999
On MV-algebras of non-linear functions. Zbl 1423.06046
Di Nola, A.; Lenzi, G.; Vitale, G.
2
2017
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Zbl 1393.06008
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
2
2017
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038
D’Agostino, Giovanna; Lenzi, Giacomo
2
2015
Hyperfinite MV-algebras. Zbl 1276.06006
Belluce, L. P.; Di Nola, A.; Lenzi, G.
2
2013
Algebraically closed MV-algebras and their sheaf representation. Zbl 1286.06016
Di Nola, A.; Ferraioli, A. R.; Lenzi, G.
2
2013
A new logical characterization of Büchi automata. Zbl 0976.03043
Lenzi, Giacomo
2
2001
Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004
Di Nola, Antonio; Lenzi, Giacomo
1
2018
Algebraic geometry for \(\ell \)-groups. Zbl 06968523
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
1
2018
Relative subalgebras of MV-algebras. Zbl 1420.06018
Belluce, Lawrence Peter; Di Nola, Antonio; Lenzi, Giacomo
1
2017
On free MV algebras and a problem of Tarski. Zbl 1360.06004
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
1
2016
On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003
D’Agostino, Giovanna; Lenzi, Giacomo
1
2015
Algebraic geometry for MV-algebras. Zbl 1353.06007
Belluce, Lawrence P.; Di Nola, Antonio; Lenzi, Giacomo
1
2014
An algebraic characterization of o-minimal and weakly o-minimal MV-chains. Zbl 1296.06008
Lenzi, Giacomo; Marchioni, Enrico
1
2014
Recent results on the modal \(\mu\)-calculus: a survey. Zbl 1276.03027
Lenzi, Giacomo
1
2010
A positive set theory with equality revisited. Zbl 1139.03041
Lenzi, Giacomo
1
2008
About a positive set theory with equality. Zbl 1276.03040
Lenzi, Giacomo
1
2007
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114
Berwanger, Dietmar; Lenzi, Giacomo
1
2005
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
1
2002
Mu-depth 3 is more than 2: A game-theoretic proof. Zbl 0979.03034
Lenzi, Giacomo
1
2001
Observables on perfect MV-algebras. Zbl 1423.06047
Di Nola, Antonio; Dvurečenskij, Anatolij; Lenzi, Giacomo
4
2019
Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004
Di Nola, Antonio; Lenzi, Giacomo
1
2018
Algebraic geometry for \(\ell \)-groups. Zbl 06968523
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
1
2018
On MV-algebras of non-linear functions. Zbl 1423.06046
Di Nola, A.; Lenzi, G.; Vitale, G.
2
2017
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Zbl 1393.06008
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
2
2017
Relative subalgebras of MV-algebras. Zbl 1420.06018
Belluce, Lawrence Peter; Di Nola, Antonio; Lenzi, Giacomo
1
2017
On free MV algebras and a problem of Tarski. Zbl 1360.06004
Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
1
2016
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038
D’Agostino, Giovanna; Lenzi, Giacomo
2
2015
On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003
D’Agostino, Giovanna; Lenzi, Giacomo
1
2015
Algebraic geometry for MV-algebras. Zbl 1353.06007
Belluce, Lawrence P.; Di Nola, Antonio; Lenzi, Giacomo
1
2014
An algebraic characterization of o-minimal and weakly o-minimal MV-chains. Zbl 1296.06008
Lenzi, Giacomo; Marchioni, Enrico
1
2014
On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019
D’Agostino, Giovanna; Lenzi, Giacomo
3
2013
Hyperfinite MV-algebras. Zbl 1276.06006
Belluce, L. P.; Di Nola, A.; Lenzi, G.
2
2013
Algebraically closed MV-algebras and their sheaf representation. Zbl 1286.06016
Di Nola, A.; Ferraioli, A. R.; Lenzi, G.
2
2013
Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005
Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca
4
2010
On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145
D’agostino, Giovanna; Lenzi, Giacomo
3
2010
Recent results on the modal \(\mu\)-calculus: a survey. Zbl 1276.03027
Lenzi, Giacomo
1
2010
A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018
D’Agostino, Giovanna; Lenzi, Giacomo
5
2008
A positive set theory with equality revisited. Zbl 1139.03041
Lenzi, Giacomo
1
2008
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
6
2007
About a positive set theory with equality. Zbl 1276.03040
Lenzi, Giacomo
1
2007
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
9
2006
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
5
2006
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078
D’Agostino, Giovanna; Lenzi, Giacomo
4
2005
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114
Berwanger, 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.03010
Janin, David; Lenzi, Giacomo
3
2004
On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
4
2002
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
1
2002
A new logical characterization of Büchi automata. Zbl 0976.03043
Lenzi, Giacomo
2
2001
Mu-depth 3 is more than 2: A game-theoretic proof. Zbl 0979.03034
Lenzi, Giacomo
1
2001
On the structure of the monadic logic of the binary tree. Zbl 0943.03033
Janin, D.; Lenzi, G.
3
1999
A hierarchy theorem for the \(\mu\)-calculus. Zbl 1045.03516
Lenzi, Giacomo
13
1996
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

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.