| 2008 |
|---|
| 14 | EE | Giovanna D'Agostino,
Giacomo Lenzi:
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.
J. Log. Comput. 18(4): 601-614 (2008) |
| 13 | EE | Giovanna D'Agostino:
Interpolation in non-classical logics.
Synthese 164(3): 421-435 (2008) |
| 2006 |
|---|
| 12 | EE | Giovanna D'Agostino,
Giacomo Lenzi:
On modal mu-calculus with explicit interpolants.
J. Applied Logic 4(3): 256-278 (2006) |
| 2005 |
|---|
| 11 | EE | Giovanna D'Agostino:
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.
TbiLLC 2005: 96-116 |
| 10 | EE | Giovanna D'Agostino,
Giacomo Lenzi:
An axiomatization of bisimulation quantifiers via the mu-calculus.
Theor. Comput. Sci. 338(1-3): 64-95 (2005) |
| 2003 |
|---|
| 9 | EE | Giovanna D'Agostino:
Characterizing Interpolation Pairs in Infinitary Graded Logics.
J. Log. Comput. 13(2): 173-193 (2003) |
| 2002 |
|---|
| 8 | EE | Giovanna D'Agostino,
Albert Visser:
Finality regained: A coalgebraic study of Scott-sets and multisets.
Arch. Math. Log. 41(3): 267-298 (2002) |
| 2000 |
|---|
| 7 | | Giovanna D'Agostino,
Marco Hollenberg:
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.
J. Symb. Log. 65(1): 310-332 (2000) |
| 1998 |
|---|
| 6 | | Johan van Benthem,
Giovanna D'Agostino,
Angelo Montanari,
Alberto Policriti:
Modal Deduction in Second-Order Logic and Set Theory - II.
Studia Logica 60(2): 387-420 (1998) |
| 1997 |
|---|
| 5 | | Johan van Benthem,
Giovanna D'Agostino,
Angelo Montanari,
Alberto Policriti:
Modal Deduction in Second-Order Logic and Set Theory - I.
J. Log. Comput. 7(2): 251-265 (1997) |
| 1995 |
|---|
| 4 | | Giovanna D'Agostino,
Angelo Montanari,
Alberto Policriti:
A Set-Theoretic Translation Method for (Poly)modal Logics.
STACS 1995: 217-228 |
| 3 | | Giovanna D'Agostino,
Angelo Montanari,
Alberto Policriti:
A Set-Theoretic Translation Method for Polymodal Logics.
J. Autom. Reasoning 15(3): 317-337 (1995) |
| 2 | | Giovanna D'Agostino,
Mario Magnago:
Complete, Recursively Enumerable Relations in Arithmetic.
Math. Log. Q. 41: 65-72 (1995) |
| 1994 |
|---|
| 1 | | Giovanna D'Agostino:
Topological Structure of Diagonalizable Algebras and Corresponding Logicl Properties of Theories.
Notre Dame Journal of Formal Logic 35(4): 563-572 (1994) |
