Il metodo dei diagrammi per logiche modali lineari (I parte)

Partecipanti: Giovanna Corsi - Università di Bologna

Questo seminario consisterà in una lezione introduttiva al cosiddetto metodo dei diagrammi che risulta efficace nel costruire modelli basati su strutture lineari. E’ inteso soprattutto per studenti interessati alle logiche modali. Non sono richieste conoscenze preliminari, la conoscenza del modello canonico è utile, ma non essenziale.