- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 19 |      | Giovanna D'Agostino, Salvatore La Torre: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification GandALF 2011 |
| 18 | | Giovanna D'Agostino, Giacomo Lenzi: Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log. 50(1-2): 185-196 (2011) |
| 2010 | ||
| 17 | | Giovanna D'Agostino, Giacomo Lenzi: On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components GANDALF 2010: 55-71 |
| 16 | | Giovanna D'Agostino, Giacomo Lenzi: On the µ-calculus over transitive and finite transitive frames. Theor. Comput. Sci. 411(50): 4273-4290 (2010) |
| 2008 | ||
| 15 | | Giovanna D'Agostino, Giacomo Lenzi: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. 18(4): 601-614 (2008) |
| 14 | | Giovanna D'Agostino: Interpolation in non-classical logics. Synthese 164(3): 421-435 (2008) |
| 2006 | ||
| 13 | | Giovanna D'Agostino, Giacomo Lenzi: On modal mu-calculus with explicit interpolants. J. Applied Logic 4(3): 256-278 (2006) |
| 12 | | Giovanna D'Agostino, Giacomo Lenzi, Tim French: µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. Journal of Applied Non-Classical Logics 16(3-4): 297-310 (2006) |
| 2005 | ||
| 11 | | Giovanna D'Agostino: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. TbiLLC 2005: 96-116 |
| 10 | | 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 | | Giovanna D'Agostino: Characterizing Interpolation Pairs in Infinitary Graded Logics. J. Log. Comput. 13(2): 173-193 (2003) |
| 2002 | ||
| 8 | | 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 Logical Properties of Theories. Notre Dame Journal of Formal Logic 35(4): 563-572 (1994) |
| 1 | Johan van Benthem | [5] [6] |
| 2 | Tim French (Timothy Stewart French) | [12] |
| 3 | Marco Hollenberg | [7] |
| 4 | Giacomo Lenzi | [10] [12] [13] [15] [16] [17] [18] |
| 5 | Mario Magnago | [2] |
| 6 | Angelo Montanari | [3] [4] [5] [6] |
| 7 | Alberto Policriti | [3] [4] [5] [6] |
| 8 | Salvatore La Torre | [19] |
| 9 | Albert Visser | [8] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page