Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek (virtualno)
vrijeme:
21.11.2022 - 17:00 - 19:00
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 21. studenog 2022. u 17 sati (online),
Stipe Marić će održati predavanje
Inkvizitivna modalna logika
Sažetak: Na seminaru će se definirati support semantika koja omogućuje uvođenje pitanja u logiku. Promatrat će se inkvizitivna propozicionalna logika InqB kao proširenje klasične propozicionalne logike, a zatim i inkvizitivna modalna logika InqML kao proširenje klasične modalne logike. U tim sistemima se određene formule mogu interpretirati kao pitanja.