La gerarchia delle variabili nel mu calcolo modale

Speaker:  Giacomo Lenzi - Universita` di Pisa, Dipartimento di Matematica Applicata
  Thursday, November 18, 2004 at 5:30 PM Ore 17.00: te`, caffe` e biscotti
Il \mu calcolo modale e` l'estensione della logica modale con gli
operatori di minimo e massimo punto fisso di operatori monotoni su
insiemi. Si illustrera' un recente risultato per cui la gerarchia tra
formule del mu calcolo indotta dal numero di variabili e` infinita.

Place
Ca' Vignal 3 - Piramide, Floor 0, Hall Verde

Contact person
Gianluigi Bellin

Publication date
November 15, 2004

Studying