Seminar za matematičku logiku i...

Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 11. rujna 2023. godine u 17:15 sati (online), Stipe Marić će održati predavanje

 

Filtracija i bisimulacijski kvocijent u inkvizitivnoj modalnoj logici

 

Sažetak: Na seminaru će se definirati filtracija u inkvizitivnoj modalnoj logici i pokazati da inkvizitivna modalna logika ima svojstvo konačnih modela iz čega će slijediti odlučivost te logike. Nadalje, definirat će se bisimulacija i bisimulacijski kvocijent te pokazati da su dva modela globalno bisimulirana ako i samo ako su im bisimulacijski kvocijenti izomorfni.

 

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