dblp.uni-trier.dewww.uni-trier.de

Giovanna D'Agostino

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEGiovanna D'Agostino, Giacomo Lenzi: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. 18(4): 601-614 (2008)
13EEGiovanna D'Agostino: Interpolation in non-classical logics. Synthese 164(3): 421-435 (2008)
2006
12EEGiovanna D'Agostino, Giacomo Lenzi: On modal mu-calculus with explicit interpolants. J. Applied Logic 4(3): 256-278 (2006)
2005
11EEGiovanna D'Agostino: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. TbiLLC 2005: 96-116
10EEGiovanna D'Agostino, Giacomo Lenzi: An axiomatization of bisimulation quantifiers via the mu-calculus. Theor. Comput. Sci. 338(1-3): 64-95 (2005)
2003
9EEGiovanna D'Agostino: Characterizing Interpolation Pairs in Infinitary Graded Logics. J. Log. Comput. 13(2): 173-193 (2003)
2002
8EEGiovanna 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)

Coauthor Index

1Johan van Benthem [5] [6]
2Marco Hollenberg [7]
3Giacomo Lenzi [10] [12] [14]
4Mario Magnago [2]
5Angelo Montanari [3] [4] [5] [6]
6Alberto Policriti [3] [4] [5] [6]
7Albert Visser [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)