Il testo, attualmente fuori commercio, può trovarsi fotocopiato presso la copisteria interna alla Pontificia Università Lateranense

Indice

1. Logica proposizionale classica

1.1 Sintassi della logica proposizionale classica

1.2 Semantica di k

2. Logica modale

2.1 Sintassi della logica modale

2.2 Semantica relazionale (di Kripke) delle logiche modali

3. Logica deontica

3.1 Sistemi di logica deontica

3.2 Legge di Hume e logica deontica

4. Logica epistemico

4.1 Logica della credenza

4.2 Logica del sapere

4.3 Logica della fondazione e del sapere fondato