Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 46
Titolo Data di pubblicazione Autore(i) File
Cayley graph of virtualy free groups 1-gen-1993 D'Agostino, Giovanna
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 1-gen-1994 D'Agostino, Giovanna
A set-theoretic translation method for polymodal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Complete Recursively Enumerable Relations in Arithmetic 1-gen-1995 D'Agostino, Giovanna; Magnago, M.
Set-theoretic decidability results for modal theorem proving 1-gen-1996 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 1-gen-1996 Bernardi, C; D'Agostino, Giovanna
Modal deduction in second-order logic and set theory. I 1-gen-1997 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Uniform interpolation, automata and the modal mu-calculus 1-gen-1998 D'Agostino, Giovanna; Hollenberg, M.
Modal deduction in second-order logic and set theory. II 1-gen-1998 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 1-gen-1999 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 1-gen-1999 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Logical Questions concerning the mu-calculus 1-gen-2000 D'Agostino, Giovanna; Hollenberg, M.
FINALITY REGAINED 1-gen-2002 D'Agostino, Giovanna; Visser, A.
Il X Problema di Hilbert 1-gen-2003 D'Agostino, Giovanna
Characterizing interpolation pairs in infinitary graded logics 1-gen-2003 D'Agostino, Giovanna
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 1-gen-2005 D'Agostino, Giovanna; Lenzi, G.
Extensions of S1S and the composition method 1-gen-2006 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.
On modal mu-calculus with explicit interpolants 1-gen-2006 D'Agostino, Giovanna; Lenzi, G.
Mostrati risultati da 1 a 20 di 46
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