RESEARCH INTEREST:


  • Modal and Temporal Logic;
  • Interpolation and Uniform Interpolation;
  • Non well founded sets;
  • Decidability of Logical Theory.

    RECENT JOURNAL PUBLICATIONS:

  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    Deciding the existence of uniform interpolants over transitive models
    Archive for Mathematical Logic DOI : 10.1007/s00153-010-0208-5.
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    On the mu calculus over transitive and finite transitive frames
    To appear in Theoretical Computer Science
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    On modal mu calculus over finite graphs with bounded strongly connected component
    Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GandALF2010, http://arxiv.org/abs/1006.1711
  • D'AGOSTINO GIOVANNA,
    Interpolation in non classical logic,
    Synthese Volume 164, Number 3, (2008) 421-435, DOI: 10.1007/s11229-008-9359-x
  • D'AGOSTINO GIOVANNA,
    Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
    Lecture Notes in Computer Science, (2007), Volume 4363/2007, 96-116, DOI: 10.1007/978-3-540-75144-1_8
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
    Journal of logic and computation, Oxford, 2008, Vol. 18, pp. 601 - 614
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO, FRENCH TIM
    Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics
    The Journal of Applied Non-Classical Logics, Paris, 2006, N. 3/4, Vol. 16, pp. 297 - 309
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    On modal mu-calculus with explicit interpolants
    Journal of applied logic, Amsterdam;London;New York;Oxford;Paris;Shannon;Tokyo, 2006, N. 338, Vol. 4, pp. 256 - 278
  • D'AGOSTINO GIOVANNA, LENZI GIACOMO
    An axiomatization of Bisimulation Quantifiers via the mu-calculus
    Theoretical computer science, Amsterdam, 2005, N. 338, pp. 64 - 95
  • D'AGOSTINO GIOVANNA
    Characterizing Interpolation Pairs in Graded Modal Logics
    Journal of logic and computation, Oxford, 2003, N. 2, Vol. 13, pp. 173 - 193
  • D'AGOSTINO GIOVANNA, VISSER ALBERT
    Finality Regained
    Archive for Mathematical Logic, Berlino, 2002, Vol. 41, pp. 267 - 298
  • D'AGOSTINO GIOVANNA, HOLLENBERG MARCO
    Logical Questions Concerning the mu-Calculus: Interpolation, Lyndon and Los-Tarski
    The journal of symbolic logic, Champain, 2000, N. 1, Vol. 65, pp. 310 - 332