×
Edit Profile (opens in new tab)

D’Agostino, Giovanna

Co-Author Distance
Author ID: dagostino.giovanna Recent zbMATH articles by "D’Agostino, Giovanna"
Published as: D’Agostino, Giovanna; D’agostino, Giovanna; D’Agostino, G.
External Links: MGP
Documents Indexed: 37 Publications since 1992, including 1 Additional arXiv Preprint
3 Contributions as Editor
Co-Authors: 20 Co-Authors with 31 Joint Publications
526 Co-Co-Authors
all top 5

Co-Authors

8 single-authored
13 Lenzi, Giacomo
9 Policriti, Alberto
4 Montanari, Angelo
2 Alanko, Jarno
2 Hollenberg, Marco
2 La Torre, Salvatore
2 Martincigh, Davide
2 Prezza, Nicola
2 van Benthem, Johan F. A. K.
1 Bernardi, Claudio
1 Bezhanishvili, Guram
1 French, Tim
1 Geatti, Luca
1 Magnago, Mario
1 Marcone, Alberto
1 Martín Hernández, Javier
1 Metcalfe, George
1 Omodeo, Eugenio Giovanni
1 Studer, Thomas
1 Tomescu, Alexandru Ioan
1 Van Mieghem, Piet
1 Visser, Albert
1 Wang, Huijuan
all top 5

Serials

7 Theoretical Computer Science
5 Journal of Logic and Computation
2 Archive for Mathematical Logic
2 Fundamenta Informaticae
1 Physica A
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Mathematica Slovaca
1 Notre Dame Journal of Formal Logic
1 Studia Logica
1 Synthese
1 Information and Computation
1 Journal of Automated Reasoning
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Bollettino della Unione Matemàtica Italiana. Serie VII. B
1 Journal of Applied Non-Classical Logics
1 Mathematical Logic Quarterly (MLQ)
1 Journal of Applied Logic
1 Electronic Proceedings in Theoretical Computer Science (EPTCS)
all top 5

Fields

32 Mathematical logic and foundations (03-XX)
15 Computer science (68-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 General and overarching topics; collections (00-XX)
3 Combinatorics (05-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
1 General algebraic systems (08-XX)
1 Category theory; homological algebra (18-XX)
1 Group theory and generalizations (20-XX)
1 Statistical mechanics, structure of matter (82-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

32 Publications have been cited 170 times in 123 Documents Cited by ▼ Year ▼
Logical questions concerning the \(\mu\)-calculus: Interpolation, Lyndon and Łoś-Tarski. Zbl 0982.03011
D’Agostino, Giovanna; Hollenberg, Marco
42
2000
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049
D’Agostino, Giovanna; Visser, Albert
17
2002
Regular languages meet prefix sorting. Zbl 07304078
Alanko, Jarno; D’agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
13
2020
Interpolation in non-classical logics. Zbl 1171.03018
D’Agostino, Giovanna
9
2008
Algebraic connectivity of interdependent networks. Zbl 1395.82076
Martín-Hernández, J.; Wang, H.; Van Mieghem, P.; D’Agostino, G.
8
2014
A set-theoretic translation method for polymodal logics. Zbl 0840.03015
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
8
1995
A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018
D’Agostino, Giovanna; Lenzi, Giacomo
8
2008
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
7
2006
On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145
D’agostino, Giovanna; Lenzi, Giacomo
7
2010
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
7
2006
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078
D’Agostino, Giovanna; Lenzi, Giacomo
6
2005
Wheeler languages. Zbl 1518.68162
Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
5
2021
On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019
D’Agostino, Giovanna; Lenzi, Giacomo
4
2013
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038
D’Agostino, Giovanna; Lenzi, Giacomo
4
2015
Uniform interpolation, automata and the modal \(\mu\)-calculus. Zbl 0906.03018
D’Agostino, Giovanna; Hollenberg, Marco
4
1998
On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003
D’Agostino, Giovanna; Lenzi, Giacomo
3
2015
Modal deduction in second-order logic and set theory. I. Zbl 0873.03021
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
3
1997
Translating the hypergame paradox: Remarks on the set of founded elements of a relation. Zbl 0859.03004
Bernardi, Claudio; D’Agostino, Giovanna
3
1996
Cayley graphs of virtually free groups. Zbl 0782.20025
D’Agostino, Giovanna
3
1993
The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs. Zbl 1395.03009
D’Agostino, Giovanna; Lenzi, Giacomo
2
2018
On modal \(\mu \)-calculus in \(S5\) and applications. Zbl 1284.68391
D’Agostino, Giovanna; Lenzi, Giacomo
2
2013
Modal deduction in second-order logic and set theory. II. Zbl 0953.03022
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
2
1998
Uniform interpolation, bisimulation quantifiers, and fixed points. Zbl 1226.03033
D’Agostino, Giovanna
2
2007
A set-theoretic translation method for (poly)modal logics. Zbl 1379.03004
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
1
1995
Uniform interpolation for propositional and modal team logics. Zbl 1444.03104
D’Agostino, Giovanna
1
2019
Mapping sets and hypersets into numbers. Zbl 1371.03060
D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2015
Second international symposium on games, automata, logics and formal verification, Minori, Italy, 15–17th June 2011. Proceedings. Zbl 1392.68014
1
2011
Complete, recursively enumerable relations in arithmetic. Zbl 0827.03027
D’Agostino, Giovanna; Magnago, Mario
1
1995
\(\mu\)-levels of interpolation. Zbl 1429.03080
D’agostino, Giovanna
1
2018
Reflexive points in the topological study of diagonalizable algebras. Zbl 0773.03040
D’Agostino, Giovanna
1
1992
Ordering regular languages and automata: complexity. Zbl 07657062
D’Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto
1
2023
On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components. Zbl 1456.03035
D’Agostino, Giovanna; Lenzi, Giacomo
1
2010
Ordering regular languages and automata: complexity. Zbl 07657062
D’Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto
1
2023
Wheeler languages. Zbl 1518.68162
Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
5
2021
Regular languages meet prefix sorting. Zbl 07304078
Alanko, Jarno; D’agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
13
2020
Uniform interpolation for propositional and modal team logics. Zbl 1444.03104
D’Agostino, Giovanna
1
2019
The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs. Zbl 1395.03009
D’Agostino, Giovanna; Lenzi, Giacomo
2
2018
\(\mu\)-levels of interpolation. Zbl 1429.03080
D’agostino, Giovanna
1
2018
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Zbl 1302.03038
D’Agostino, Giovanna; Lenzi, Giacomo
4
2015
On the modal \(\mu \)-calculus over finite symmetric graphs. Zbl 1363.03003
D’Agostino, Giovanna; Lenzi, Giacomo
3
2015
Mapping sets and hypersets into numbers. Zbl 1371.03060
D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
1
2015
Algebraic connectivity of interdependent networks. Zbl 1395.82076
Martín-Hernández, J.; Wang, H.; Van Mieghem, P.; D’Agostino, G.
8
2014
On modal \(\mu\)-calculus over reflexive symmetric graphs. Zbl 1276.03019
D’Agostino, Giovanna; Lenzi, Giacomo
4
2013
On modal \(\mu \)-calculus in \(S5\) and applications. Zbl 1284.68391
D’Agostino, Giovanna; Lenzi, Giacomo
2
2013
Second international symposium on games, automata, logics and formal verification, Minori, Italy, 15–17th June 2011. Proceedings. Zbl 1392.68014
1
2011
On the \(\mu \)-calculus over transitive and finite transitive frames. Zbl 1208.68145
D’agostino, Giovanna; Lenzi, Giacomo
7
2010
On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components. Zbl 1456.03035
D’Agostino, Giovanna; Lenzi, Giacomo
1
2010
Interpolation in non-classical logics. Zbl 1171.03018
D’Agostino, Giovanna
9
2008
A note on bisimulation quantifiers and fixed points over transitive frames. Zbl 1173.03018
D’Agostino, Giovanna; Lenzi, Giacomo
8
2008
Uniform interpolation, bisimulation quantifiers, and fixed points. Zbl 1226.03033
D’Agostino, Giovanna
2
2007
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
7
2006
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
7
2006
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. Zbl 1080.68078
D’Agostino, Giovanna; Lenzi, Giacomo
6
2005
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049
D’Agostino, Giovanna; Visser, Albert
17
2002
Logical questions concerning the \(\mu\)-calculus: Interpolation, Lyndon and Łoś-Tarski. Zbl 0982.03011
D’Agostino, Giovanna; Hollenberg, Marco
42
2000
Uniform interpolation, automata and the modal \(\mu\)-calculus. Zbl 0906.03018
D’Agostino, Giovanna; Hollenberg, Marco
4
1998
Modal deduction in second-order logic and set theory. II. Zbl 0953.03022
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
2
1998
Modal deduction in second-order logic and set theory. I. Zbl 0873.03021
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
3
1997
Translating the hypergame paradox: Remarks on the set of founded elements of a relation. Zbl 0859.03004
Bernardi, Claudio; D’Agostino, Giovanna
3
1996
A set-theoretic translation method for polymodal logics. Zbl 0840.03015
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
8
1995
A set-theoretic translation method for (poly)modal logics. Zbl 1379.03004
D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
1
1995
Complete, recursively enumerable relations in arithmetic. Zbl 0827.03027
D’Agostino, Giovanna; Magnago, Mario
1
1995
Cayley graphs of virtually free groups. Zbl 0782.20025
D’Agostino, Giovanna
3
1993
Reflexive points in the topological study of diagonalizable algebras. Zbl 0773.03040
D’Agostino, Giovanna
1
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 170 Authors

13 D’Agostino, Giovanna
10 Schröder, Lutz
9 Policriti, Alberto
8 van Ditmarsch, Hans Pieter
7 Lenzi, Giacomo
7 Pattinson, Dirk
6 Tomescu, Alexandru Ioan
6 Venema, Yde
5 Equi, Massimo
5 Mäkinen, Veli
4 Benedikt, Michael A.
4 French, Tim
4 Gibney, Daniel
4 Hausmann, Daniel
4 Thankachan, Sharma V.
3 Cantone, Domenico
3 Ghilardi, Silvio
3 Kupke, Clemens
3 Montanari, Angelo
3 Omodeo, Eugenio Giovanni
3 ten Cate, Balder David
3 Vanden Boom, Michael
3 Wolter, Frank
2 Aceto, Luca
2 Achilleos, Antonis
2 Afshari, Bahareh
2 Alanko, Jarno
2 Anastasiadi, Elli
2 Bozzelli, Laura
2 Carreiro, Facundo
2 Cazaux, Bastien
2 de Rijke, Maarten
2 Enqvist, Sebastian
2 Fontaine, Gaëlle
2 Formisano, Andrea
2 Francalanza, Adrian
2 Hales, James
2 Ingólfsdóttir, Anna
2 Kurz, Alexander
2 Lange, Martin
2 Leal, Raul Andres
2 Leigh, Graham Emil
2 Liu, Yongmei
2 Lohrey, Markus
2 Lutz, Carsten
2 Maksimova, Larisa L’vovna
2 Manzini, Giovanni
2 Martincigh, Davide
2 Norri, Tuukka
2 Pinchinat, Sophie
2 Santocanale, Luigi
2 Seifan, Fatemeh
2 van Benthem, Johan F. A. K.
2 Walukiewicz, Igor
1 Acosta, Ignacio Bellas
1 Alizadeh, Majid
1 Arnold, André
1 Artale, Alessandro
1 Bárcenas, Everardo
1 Başkent, Can
1 Bentley, Jason W.
1 Bernardi, Claudio
1 Bourhis, Pierre
1 Bradfield, Julian Charles
1 Calvanese, Diego
1 Cartwright, Donald I.
1 Castiglioni, José Luis
1 Chen, Panfeng
1 Dam, Mads
1 Dang, Hoang-Vu
1 Darbari, Parisa
1 de Jesús Lavalle Martínez, José
1 de Nivelle, Hans
1 Demri, Stéphane P.
1 Derakhshan, Farzaneh
1 Droste, Manfred
1 Egidi, Lavinia
1 Facchini, Alessandro
1 Fang, Biqing
1 Fang, Liangda
1 Feng, Renyan
1 Geatti, Luca
1 Gheerbrant, Amélie
1 Giancarlo, Raffaele
1 Gianola, Alessandro
1 Giordano, Laura
1 Goguadze, George
1 Goré, Rajeev Prabhakar
1 Görlitz, Oliver
1 Gouveia, Maria João
1 Grossi, Roberto
1 Guelev, Dimitar P.
1 Guo, Meiyun
1 Gutierrez, Julian
1 Herzig, Andreas
1 Hon, Wing-Kai
1 Huang, Fan
1 Humml, Merlin
1 Jalali, Raheleh
1 Jung, Jean Christoph
...and 70 more Authors
all top 5

Cited in 32 Serials

18 Theoretical Computer Science
6 Annals of Pure and Applied Logic
5 Studia Logica
5 Synthese
5 Information and Computation
5 Logical Methods in Computer Science
4 Algorithmica
3 Notre Dame Journal of Formal Logic
3 Journal of Automated Reasoning
2 Artificial Intelligence
2 Archive for Mathematical Logic
2 Journal of Logic, Language and Information
2 ACM Transactions on Computational Logic
2 The Review of Symbolic Logic
1 Bulletin of the Australian Mathematical Society
1 Communications in Algebra
1 Algebra and Logic
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Siberian Mathematical Journal
1 Mathematical Social Sciences
1 Mathematical Structures in Computer Science
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 The Journal of Logic and Algebraic Programming
1 Logic and Logical Philosophy
1 Journal of Applied Logic
1 Proceedings of the Steklov Institute of Mathematics
1 Logica Universalis
1 ACM Transactions on Algorithms
all top 5

Cited in 11 Fields

95 Mathematical logic and foundations (03-XX)
69 Computer science (68-XX)
6 Combinatorics (05-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Group theory and generalizations (20-XX)
1 General and overarching topics; collections (00-XX)
1 General algebraic systems (08-XX)
1 Number theory (11-XX)
1 Category theory; homological algebra (18-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year