U petak 30. siječnja 2026. od 12h u dvorani B3-17 Odjela za matematiku PMF-a, Ruđera Boškovića 33

 

dr. sc. Stipe Marić

Prirodoslovno-matematički fakultet u Splitu

 održat će predavanje pod naslovom
Inkvizitivna modalna logika.
 
Predavanje je organizirano u sklopu redovitog kolokvija Znanstvenog razreda Splitskog matematičkog društva.
Pozivamo sve zainteresirane da prisustvuju predavanju.
Sažetak:
Inkvizitivna logika je generalizacija klasične logike u kojoj se osim izjava mogu izraziti i pitanja. U tu svrhu se uvodi novi veznik koji se naziva inkvizitivna disjunkcija. Slično, inkvizitivna modalna logika je generalizacija osnovne modalne logike s novim modalnim operatorom koji se naziva window. Na predavanju prvo pokazujemo kako se iz propozicionalne logike dobivaju modalna logika i inkvizitivna logika, a zatim i inkvizitivna modalna logika. Nakon toga opisujemo sintaksu i semantiku inkvizitivne modalne logike i dajemo pregled osnovnih pojmova i tvrdnji u toj logici. Na kraju ističemo da inkvizitivna modalna logika ima svojstvo konačnih modela i da je odlučiva.