Haku
Viitteet 1-1 / 1
On the uniform one-dimensional fragment over ordered models
(2017)
Pro gradu -tutkielma
Pro gradu -tutkielma
The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The logic U1 enables the use of relation symbols of all arities and thereby extends the scope of applications of ...