Author:Emanuel Kieronski

Keyphrases

finite satisfiability problem, guarded fragment, satisfiability problem², three-variable logic, transitive relations, triguarded fragment, two-variable fragment, two-variable logic, uniform one-dimensional fragment.