Dear All,
You are cordially invited to the seminar of the Institute of Computer Science, which will be held on March 13, 2025 at 10:15 am in room 110INF. The paper entitled. “The Triguarded Fragment” will be delivered by Prof. Emanuel Kieroński from the University of Wroclaw.
Abstract: Among the fragments of first-order logic with a resolvable satisfiability problem, the logic with two variables, FO2, and the guarded fragment GF play an important role. Both express modal logic and many descriptive logics. Their natural common extension is the triguarded fragment, TGF. It turns out that TGF is unsolvable with equality, but becomes solvable without equality.
In my paper, I will explain what TGF is, talk about the fact that it has the properties of a finite model:
every satisfyable formula has a finite model and, if enough time, about the possibility of adding transitive relations to the TGF.
The paper will be based mainly on the work: * Sebastian Rudolp, Emanuel Kieroński: Finite Model Theory of the Triguarded Fragment and Related Logics. LICS 2021
Institute of Computer Science
Oleska 48 st.,
45-052 Opole, Poland
tel. +48 77 45 27 205,
e-mail: ii@uni.opole.pl
University of Opole
Kopernika 11a st.
45-040 Opole, Poland
Rectorate
tel.: +48 77 541 59 03
Chancellor’s Office
tel.: +48 77 541 60 70
TAX ID: 754-000-71-79
Regon: 000001382
carefully created by University of Opole