Giovanna D'Agostino

Available identifiers

zbMath Open dagostino.giovannaWikidataQ102333245 ScholiaQ102333245MaRDI QIDQ481099

List of research outcomes

Publication	Date of Publication	Type
Ordering regular languages and automata: complexity	2023-02-24	Paper
Wheeler languages	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5151000	2021-02-16	Paper
Regular Languages meet Prefix Sorting	2021-02-02	Paper
$$\mu $$ μ -Levels of Interpolation	2020-02-05	Paper
Uniform interpolation for propositional and modal team logics	2020-02-03	Paper
The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs	2018-06-18	Paper
A set-theoretic translation method for (poly)modal logics	2017-12-04	Paper
Mapping Sets and Hypersets into Numbers	2016-08-15	Paper
The logic of the reverse mathematics zoo	2015-12-25	Paper
On the Modal μ-Calculus Over Finite Symmetric Graphs	2015-11-26	Paper
Bisimulation quantifiers and uniform interpolation for guarded first order logic	2014-12-12	Paper
On Modal μ-Calculus in S5 and Applications	2013-07-30	Paper
On modal  -calculus over reflexive symmetric graphs	2013-06-27	Paper
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH	2012-08-30	Paper
Deciding the existence of uniform interpolants over transitive models	2011-03-02	Paper
On the \(\mu \)-calculus over transitive and finite transitive frames	2010-11-19	Paper
μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★	2009-11-30	Paper
Interpolation in non-classical logics	2009-06-16	Paper
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points	2009-03-11	Paper
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames	2008-08-15	Paper
On modal \(\mu\)-calculus with explicit interpolants	2006-10-10	Paper
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus	2005-06-30	Paper
Characterizing Interpolation Pairs in Infinitary Graded Logics	2004-05-18	Paper
Finality regained: A coalgebraic study of Scott-sets and multisets	2003-09-16	Paper
Modal deduction in second-order logic and set theory. II	2000-11-21	Paper
Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4215595	1999-02-22	Paper
Modal deduction in second-order logic and set theory - I	1997-06-10	Paper
Translating the hypergame paradox: Remarks on the set of founded elements of a relation	1996-11-12	Paper
A set-theoretic translation method for polymodal logics	1995-12-20	Paper
Topological structure of diagonalizable algebras and corresponding logical properties of theories	1995-11-26	Paper
Complete, Recursively Enumerable Relations in Arithmetic	1995-02-20	Paper
CAYLEY GRAPHS OF VIRTUALLY FREE GROUPS	1993-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4038314	1993-05-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giovanna D'Agostino