Sfoglia per Autore D'AGOSTINO, Giovanna
Cayley graph of virtualy free groups
1993-01-01 D'Agostino, Giovanna
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories
1994-01-01 D'Agostino, Giovanna
A set-theoretic translation method for polymodal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Complete Recursively Enumerable Relations in Arithmetic
1995-01-01 D'Agostino, Giovanna; Magnago, M.
A set-theoretic translation method for (poly)modal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Translating the hypergame Paradox; remarks on the set of founded elements of a relation
1996-01-01 Bernardi, C; D'Agostino, Giovanna
Set-theoretic decidability results for modal theorem proving
1996-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. I
1997-01-01 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. II
1998-01-01 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Uniform interpolation, automata and the modal mu-calculus
1998-01-01 D'Agostino, Giovanna; Hollenberg, M.
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem
1999-01-01 D'Agostino, Giovanna; Visser, A.
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
1999-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Logical Questions concerning the mu-calculus
2000-01-01 D'Agostino, Giovanna; Hollenberg, M.
FINALITY REGAINED
2002-01-01 D'Agostino, Giovanna; Visser, A.
Il X Problema di Hilbert
2003-01-01 D'Agostino, Giovanna
Characterizing interpolation pairs in infinitary graded logics
2003-01-01 D'Agostino, Giovanna
An axiomatization of Bisimulation Quantifiers via the mu-calculus,
2005-01-01 D'Agostino, Giovanna; Lenzi, G.
Extensions of S1S and the composition method
2006-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
On modal mu-calculus with explicit interpolants
2006-01-01 D'Agostino, Giovanna; Lenzi, G.
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics,
2006-01-01 D'Agostino, Giovanna; Lenzi, G; French, T.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile