Szanowni Państwo,
Serdecznie zapraszamy na seminarium Instytutu Informatyki, które odbędzie się 13 marca 2025 r o godzinie 10:15 w sali 110INF. Referat pt. „The Triguarded Fragment” wygłosi prof. Emanuel Kieroński z Uniwersytetu Wrocławskiego.
Streszczenie: Wśród fragmentów logiki pierwszego rzędu z rozstrzygalnym problemem spełnialności ważna rolę pełnią logika z dwiema zmiennymi, FO2, oraz guarded fragment GF. Oba wyrażają logikę modalną oraz wiele logik deskrypcyjnych. Ich naturalnym wspólnym rozszerzeniem jest triguarded fragment, TGF. Okazuje się, że TGF jest nierozstrzygalny z równością, ale staje się rozstrzygalny bez równości.
W swoim referacie wyjaśnię czym jest TGF, opowiem o tym, że ma on własności modelu skończonego:
każda formuła spełnialna ma model skończony oraz, jeśli wystarczy czasu, o możliwości dodania do TGF relacji przechodnich.
Referat będzie oparty głównie na pracy: * Sebastian Rudolp, Emanuel Kieroński: Finite Model Theory of the Triguarded Fragment and Related Logics. LICS 2021
Uniwersytet Opolski
plac Kopernika 11a
45-040 Opole
Rektorat
tel.: 77 541 59 03
Biuro Kanclerza
tel.: 77 541 60 70
NIP: 754-000-71-79
Regon: 000001382
