Finite Model Reasoning in Expressive Fragments of First-Order Logic

Lidia Tendera

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result…