Search result
Milano : Il saggiatore, 1973
Abstract: Logica proposizionale modale (Calcolo proposizionale non-modale - Il sistema T - Il sistema S4 e S5 - Validità in T, S4 e S5 - T: procedura di decisione e completezza - S4 e S5: procedure di decisione e completezza - Basi alternative per T, S4 e S5) - Logica predicativa modale (Il calcolo predicativo inferiore - La completezza di LPC modale - Modalità ed esistenza - Identità e descrizioni in LPC modale) - Panorama di logica modale (I sistemi di Lewis - Altri sistemi proposizionali moda ...; [Read more...]