1. komponenta

Vrsta nastave	Ukupno
Predavanja	45

* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)

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.

1. P. Blackburn, M. de Rijke, Y. Venema: Modal Logic
2. S. Demri, V. Goranko, M. Lange: Temporal logics in computer science: finite-state systems
3. M. Vuković: Matematička logika

Upis predmeta :
Položen : Matematička logika

Izborni predmet 1, 2 - Redovni Studij - Računarstvo i matematika

Izborni predmet 1, 2 - Redovni Studij - Računarstvo i matematika

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika