5 citations · 12 across the 8 of their papers we have counts for
1 paper · 1 filter
Emanuel Kieroński, Antti Kuusisto
Uniform one-dimensional fragment UF1^= is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers su…