[i][c]
Orlandelli, Eugenio & Corsi, Giovanni
Corso di logica modale proposizionale
Carocci
[Studi Superiori 1169]
Roma 2019
ISBN: 9788843095261

#logica
ig01#logica
ig02#logica

Privacy Policy

  [i][c] INDICE:
Prefazione
[titolo]
      1.Linguaggio e semantica
            Linguaggio
            Semantica
            Schemi validi e non validi
            Regole che conservano la validità
            Che cos'è una logica modale normale?
            Chiusura riflessiva e transitiva
      2.Corrispondenza e non esprimibilità
            Risultati di corrispondenza
            Proprietà non esprimibili
      3.Logiche normali
            La logica K
            Alcune estensioni di K
            Validità
            Modalità
      4.Completezza via modello canonico
            Proprietà di insiemi di formule
            Modelli canonici
            Completezza via canonicità
      5.Corrispondenza vs completezza e incompletezza
            Incompletezza
            Strutture generali
            Incompletezza di KVB
      6.Modelli finiti e decidibilità
            Nozioni preliminari
            Filtrazione e modelli finiti
      7.K: la logica della dimostrabilità
            Modalità in KW
      8.Diagrammi per estensioni di K4.3
            Diagrammi finiti per K4.3
            Completezza per alcune estensioni di K4.3
            Sulle estensioni di K4.3 che dimostrano T
      9.Sequenti etichettati
            Nozioni introduttive
            Il calcolo G3.K
            Alcune estensioni di G3.K
            Elementi base di metateoria
            Validità e completezza
            Proprietà strutturali
            Decidibilità
            Identità e proprietà inesprimibili
Bibliografia
Indice analitico
_
___

 
 [i][c] CRONOLOGIA:
 
 
2000 2000 2050 Orlandelli, Eugenio ( - ) Orlandelli, Eugenio ( - ) https://www.unibo.it/sitoweb/eugenio.orlandelli/ Orlandelli, Eugenio Corsi, Giovanni ( - ) Corsi, Giovanni ( - ) Corsi, Giovanni 1919 4619.0809 2019



Generato il giorno: 2019-08-09T15:31:11+02:00 (Unix Time: 1565357471)
Precedente aggiornamento il giorno: 0
Prima registrazione il giorno: 2019.0809
Aggiornato una volta
Dimensione approssimata della pagina: 20201 caratteri (body: 18722)
Versione: 1.0.41

Privacy Policy