Giovanna D'Agostino

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	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		Giovanna D'Agostino, Giacomo Lenzi: On modal mu-calculus in S5 and applications. CILC 2011: 9-24
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
	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		Giovanna D'Agostino: Interpolation in non-classical logics. Synthese 164(3): 421-435 (2008)
	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)
	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

1	Johan van Benthem	[j5] [j4]
2	Tim French (Timothy Stewart French)	[j11]
3	Marco Hollenberg	[j6]
4	Giacomo Lenzi	[j16] [j15] [c4] [j14] [c3] [j13] [j11] [j10] [j9]
5	Mario Magnago	[j2]
6	Angelo Montanari	[j5] [j4] [j3] [c1]
7	Alberto Policriti	[j5] [j4] [j3] [c1]
8	Salvatore La Torre	[e1]
9	Albert Visser	[j7]

Colors in the list of coauthors

Last update Fri May 24 22:26:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page