AILA - Associazione Italiana di Logica e sue Applicazioni

Atti degli incontri di logica matematica Volume 6

• Indice

XIII incontro: logiche modali e temporali

• Melvin Fitting, Modal Logics A Summary of the Well-Behaved
• S.K. Thomason, Dynamic logic and the logic of ability
• Fred Kroeger, Temporal logic of programs: Temporal semantics, verification and specification (Extended abstract)
• Gonzalo E. Reyes, Non-standard truth values and modalities
• Fabio Bellissima, Metodi algebrici in logica modale
• Alessandro Berarducci, Modal logic and interpretability (Extended abstract)
• Giovanna Corsi, A very simple proof of Ono's theorem for S_n⁺, n ≥ 1 (Abstract)
• Silvio Ghilardi, Fenomeni di incompletezza nelle logiche modali quantificate
• Claudio Sossai, Un'estensione della macchina di Turing (Abstract)