Author:Emanuel Kieronski
Keyphrasesfinite satisfiability problem, guarded fragment, satisfiability problem2, three-variable logic, transitive relations, triguarded fragment, two-variable fragment, two-variable logic, uniform one-dimensional fragment. |