La gerarchia delle variabili nel mu calcolo modale

Relatore
Giacomo Lenzi - Universita` di Pisa, Dipartimento di Matematica Applicata

Data e ora
giovedì 18 novembre 2004 alle ore 17.30 - Ore 17.00: te`, caffe` e biscotti

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Gianluigi Bellin

Referente esterno

Data pubblicazione
15 novembre 2004

Dipartimento
 

Riassunto

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.
ornamento
Inizio pagina