Uniform Guarded Fragments

10/07/2021
by   Reijo Jaakkola, et al.
0

In this paper we prove that the uniform one-dimensional guarded fragment, which is a natural polyadic generalization of the guarded two-variable logic, has the Craig interpolation property. We will also prove that the satisfiability problem of uniform guarded fragment is NEXPTIME-complete.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset