D'AGOSTINO, Giovanna

D'AGOSTINO, Giovanna  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
A set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for polymodal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 1-gen-2005 D'Agostino, Giovanna; Lenzi, G.
Bisimulation quantifiers and uniform interpolation for guarded first order logic 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
Cayley graph of virtualy free groups 1-gen-1993 D'Agostino, Giovanna
Characterizing interpolation pairs in infinitary graded logics 1-gen-2003 D'Agostino, Giovanna
Complete Recursively Enumerable Relations in Arithmetic 1-gen-1995 D'Agostino, Giovanna; Magnago, M.
Deciding the existence of Uniform Interpolants over Transitive Frames 1-gen-2011 D'Agostino, Giovanna; Lenzi, G.
Extensions of S1S and the composition method 1-gen-2006 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
FINALITY REGAINED 1-gen-2002 D'Agostino, Giovanna; Visser, A.
Games, Automata, Logic, and Formal Verification (GandALF 2011) 1-gen-2013 D'Agostino, Giovanna; La Torre, S.
Interpolation in non classical logic 1-gen-2008 D'Agostino, Giovanna
The logic of the reverse mathematics zoo 1-gen-2018 D'Agostino, Giovanna; Marcone, Alberto
Logical Questions concerning the mu-calculus 1-gen-2000 D'Agostino, Giovanna; Hollenberg, M.
Mapping Sets and Hypersets into Numbers 1-gen-2015 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
Modal deduction in second-order logic and set theory. I 1-gen-1997 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. II 1-gen-1998 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 1-gen-1999 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 1-gen-2006 D'Agostino, Giovanna; Lenzi, G; French, T.
mu-levels of interpolation 1-gen-2018 D'Agostino, Giovanna