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. Modal Logic, P. Blackburn, M. de Rijke, Y. Venema, Elsevier, 2001.
2. Temporal logics in computer science: finite-state systems, S. Demri, V. Goranko, M. Lange, Cambridge University Press, 2016.
3. Matematička logika, M. Vuković, Element, Zagreb, 2009.

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

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