Ordered fragments of first-order logic
Logic in Computer Science
2021-03-16 v1 Logic
Abstract
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.
Cite
@article{arxiv.2103.08046,
title = {Ordered fragments of first-order logic},
author = {Reijo Jaakkola},
journal= {arXiv preprint arXiv:2103.08046},
year = {2021}
}