Učitavanje video playera...
01:05:55
Stipe Marić: 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.
