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