Perehtyä sisältökuvauksessa mainittuihin asioihin.
Lyhyt lauselogiikan kertaus, relaatioista, induktio kaavan pituuden suhteen, todistusteoriaa, modaalista lauselogiikkaa, Kripke-semantiikkaa, täydellisyystuloksia.
Opintojakso koostuu luennoista ja viikkoharjoituksista. Opetuksen määrä riippuu kurssin laajuudesta.
2.-3. vuosi.
Rantala, V., Virtanen, A., Johdatus modaalilogiikkaan. Gaudeamus 2004.