La seconda rivoluzione scientifica: matematica e logica. Le logiche modali Fabio Bellissima Paolo Pagli Le logiche modali L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] generalizzazione subì la semantica algebrica, passando dalle algebre di chiusura alle più astratte algebre di Boole con operatore non booleano, chiamate appunto algebre modali. Il triangolo logiche-modelli-algebre si chiude con la teoria della ... Leggi Tutto