Logica Computazionale - Scuola Estiva di Logica (AILA10)

Date  Topic  Slides  Notes 
30.08.10  Introduzione  pdf
31.08.10  Propositional Logic  pdf
31.08.10  First-Order Logic  pdf
31.08.10  First-Order Theories and Set Theory  pdf
31.08.10  Modal Logics  pdf
01.09.10  Labeled Deduction Systems for Modal Logics  pdf
02.09.08  Labeled Deduction Systems for Non-Classical Logics  pdf
03.09.08  Single Sign On  ppt
03.09.08  Analysis of Single Sign On  pdf
03.09.08  OFMC  pdf
03.09.08  Distributed Temporal Logic for Security Protocol Analysis  pdf
04.09.08  Modal Deduction Systems for Quantum State Transformations  pdf