We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback