Two-Variable First-Order Logics over Transitive Structures
|Starts:||14:00 8 Feb 2012|
|Ends:||16:00 8 Feb 2012|
|What is it:||Seminar|
Speaker: Dr Lidia Tendera. University of Opole, Poland
Host: Ian Pratt-Hartmann
Two prominent decidable fragments of classical first-order logic, namely the two-variables fragment (FO2) and the guarded fragment (GF), cannot express transitivity of a binary relations. This shortage can be replaced by considering special classes of structures, where some distinguished binary predicate letters are required to be transitive.
In the talk we review main results concerning decidability and complexity of the satisfiability problem for FO2 and GF over such structures. In more detail we discuss the so far open case of FO2 with one transitive relation and outline the proof of its decidability.
Travel and Contact Information
Lecture Theatre 1.4