CILJ KOLEGIJA: Kolegij ima za cilj studenta upoznati s osnovama propozicionalne modalne logike. Modalna logika se promatra kao jezik za opis
relacijskih struktura. Naglasak je stavljen na proučavanje Kripkeove semantike.
NASTAVNI SADRŽAJI:
Uvod: relacijske strukture, osnovni modalni jezik i modalni jezik proizvoljnog tipa, definicija okvira i modela, normalna modalna logika.
Modalni sistemi K, T, S4, S5 i GL. Deontička i temporalna logika.
Modeli i okviri: bisimulacije, Hennessy-Milnerov teorem, konačni modeli, standardna translacija, ultrafiltri, van Benthamov teorem
karakterizacije, ultraprodukti, definabilnost, Goldblatt-Thomasonov teorem.
Potpunost: kanonski modeli, filtracija, nepotpunost, step-by-step tehnika.
|
Pristupačnost
