Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Giovanna D'Agostino
2010 – today
- 2013
[j19]Giovanna D'Agostino, Giacomo Lenzi: On Modal μ-Calculus in S5 and Applications. Fundam. Inform. 124(4): 465-482 (2013)- [j18]Giovanna D'Agostino, Giacomo Lenzi: On modal μ-calculus over reflexive symmetric graphs. J. Log. Comput. 23(3): 445-455 (2013)
- [j17]Giovanna D'Agostino, Salvatore La Torre: Games, Automata, Logic, and Formal Verification (GandALF 2011). Theor. Comput. Sci. 493: 1 (2013)
- 2012
- [j16]Giovanna D'Agostino, Giacomo Lenzi: On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width. Int. J. Found. Comput. Sci. 23(3): 627-647 (2012)
- 2011
- [j15]Giovanna D'Agostino, Giacomo Lenzi: Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log. 50(1-2): 185-196 (2011)
- [c4]
- [e1]Giovanna D'Agostino, Salvatore La Torre (Eds.): Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification. EPTCS 54, 2011
- 2010
- [j14]Giovanna D'Agostino, Giacomo Lenzi: On the µ-calculus over transitive and finite transitive frames. Theor. Comput. Sci. 411(50): 4273-4290 (2010)
- [c3]Giovanna D'Agostino, Giacomo Lenzi: On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components. GANDALF 2010: 55-71
2000 – 2009
- 2008
- [j13]Giovanna D'Agostino, Giacomo Lenzi: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. 18(4): 601-614 (2008)
- [j12]
- 2006
- [j11]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)
- [j10]Giovanna D'Agostino, Giacomo Lenzi: On modal mu-calculus with explicit interpolants. J. Applied Logic 4(3): 256-278 (2006)
- 2005
- [j9]Giovanna D'Agostino, Giacomo Lenzi: An axiomatization of bisimulation quantifiers via the mu-calculus. Theor. Comput. Sci. 338(1-3): 64-95 (2005)
- [c2]Giovanna D'Agostino: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. TbiLLC 2005: 96-116
- 2003
- [j8]Giovanna D'Agostino: Characterizing Interpolation Pairs in Infinitary Graded Logics. J. Log. Comput. 13(2): 173-193 (2003)
- 2002
- [j7]Giovanna D'Agostino, Albert Visser: Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. 41(3): 267-298 (2002)
- 2000
- [j6]Giovanna D'Agostino, Marco Hollenberg: Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. J. Symb. Log. 65(1): 310-332 (2000)
1990 – 1999
- 1998
- [j5]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
- [j4]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
- [j3]Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reasoning 15(3): 317-337 (1995)
- [j2]Giovanna D'Agostino, Mario Magnago: Complete, Recursively Enumerable Relations in Arithmetic. Math. Log. Q. 41: 65-72 (1995)
- [c1]Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995: 217-228
- 1994
- [j1]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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team