IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 50
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
Complete Recursively Enumerable Relations in Arithmetic 1-gen-1995 D'Agostino, Giovanna; Magnago, M.
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
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
Modal deduction in second-order logic and set theory. II 1-gen-1998 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.
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.
Self Applied proof verification 1-gen-2007 D'Agostino, Giovanna; Omodeo, E; Schwartz, J; Tomescu, A.
Uniform interpolation, bisimulation quantifiers and fixed points 1-gen-2007 D'Agostino, Giovanna
Interpolation in non classical logic 1-gen-2008 D'Agostino, Giovanna
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 1-gen-2008 D'Agostino, Giovanna; Lenzi, G.
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 1-gen-2010 D'Agostino, Giovanna; Lenzi, G.
On the µ-calculus over transitive and finite transitive frames 1-gen-2010 D'Agostino, Giovanna; Lenzi, G.
Deciding the existence of Uniform Interpolants over Transitive Frames 1-gen-2011 D'Agostino, Giovanna; Lenzi, G.
On modal mu-calculus in S5 and application 1-gen-2011 D'Agostino, Giovanna; Lenzi, G.
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 1-gen-2012 D'Agostino, Giovanna; Lenzi, G.
On Modal mu--Calculus in S5 and Applications 1-gen-2013 D'Agostino, Giovanna; Lenzi, G.
On modal µ-calculus over reflexive symmetric graphs 1-gen-2013 D'Agostino, Giovanna; Lenzi, G.
Games, Automata, Logic, and Formal Verification (GandALF 2011) 1-gen-2013 D'Agostino, Giovanna; La Torre, S.
Mapping Sets and Hypersets into Numbers 1-gen-2015 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
On the Modal μ-Calculus over Finite Symmetric Graphs 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
Bisimulation quantifiers and uniform interpolation for guarded first order logic 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 1-gen-2018 Bezhanishvili, Guram; D'Agostino, Giovanna; Metcalfe, George; Studer, Thomas
The logic of the reverse mathematics zoo 1-gen-2018 D'Agostino, Giovanna; Marcone, Alberto
mu-levels of interpolation 1-gen-2018 D'Agostino, Giovanna
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 1-gen-2018 D'Agostino, Giovanna; Lenzi, Giacomo
Uniform interpolation for propositional and modal team logics 1-gen-2019 D'Agostino, Giovanna
Regular languages meet prefix sorting 1-gen-2020 Alanko, J.; D'Agostino, G.; Policriti, A.; Prezza, N.
Ordering Regular Languages: A Danger Zone 1-gen-2021 D'Agostino, G.; Martincigh, D.; Policriti, A.
Wheeler Languages 1-gen-2021 Alanko, Jarno; D'Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola
A Linear-size Cascade Decomposition for Wheeler Automata 1-gen-2023 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Co-lexicographically Ordering Automata and Regular Languages - Part I 1-gen-2023 Cotumaccio, N.; D'Agostino, G.; Policriti, A.; Prezza, N.
Ordering regular languages and automata: Complexity 1-gen-2023 D'Agostino, G.; Martincigh, D.; Policriti, A.
Cascade products and Wheeler automata 1-gen-2024 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Wheelerness and Complementation 1-gen-2025 Castiglione, G.; D'Agostino, G.; Policriti, A.; Restivo, A.; Riccardi, B.
Universally Wheeler Languages 1-gen-2025 Becker, Ruben; Castiglione, Giuseppa; D'Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola; Restivo, Antonio; Riccardi, Brian
Wheeler Graphs and Wheeler Languages 1-gen-2025 Cotumaccio, Nicola; D'Agostino, Giovanna; Gibney, Daniel; Policriti, Alberto; Prezza, Nicola; Thankachan, Sharma V.
Mostrati risultati da 1 a 50 di 50
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