Giovanna D'Agostino

Available identifiers

zbMath Open dagostino.giovannaWikidataQ102333245 ScholiaQ102333245MaRDI QIDQ481099

List of research outcomes

Publication	Date of Publication	Type
Cascade products and Wheeler automata	2024-10-01	Paper
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 \(\mu \)-calculus in \(S5\) and applications	2013-07-30	Paper
On modal  -calculus over reflexive symmetric graphs	2013-06-27	Paper
On modal \(\mu \)-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
\(\mu\)-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

This page was built for person: Giovanna D'Agostino