La gerarchia delle variabili nel mu calcolo modale

Supervisor
Giacomo Lenzi - Universita` di Pisa, Dipartimento di Matematica Applicata
Date and time
Thursday, November 18, 2004 at 5:30 PM - Ore 17.00: te`, caffe` e biscotti
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Gianluigi Bellin
External reference
Publication date
November 15, 2004
Department
 

Summary

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.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234