Seminar za matematičku logiku i...

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.

 

Zoom link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09

Autor: Božidar Tartaro
Popis obavijesti

Seminari

Sveučilište u Zagrebu

Sveučilište u Osijeku

Sveučilište u Splitu

  • Topološki seminar                               
  • Seminar za diskretnu matematiku       

Sveučilište u Rijeci