Ordered fragments of first-order logic

03/14/2021
by   Reijo Jaakkola, et al.
0

Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset