Kolegij obrađuje ključne metode i probleme modalne logike.
Modalna logika u širem smislu i modalna logika u užem smislu.
Terminologija modalne logike (mogući svjetovi, relacije dostupnosti).
Osnovne sustavi modalne logike.
- Nositelj kolegija: Mate Penava
- Nositelj kolegija: Jure Zovko