Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Qiaolan Meng, Juhua Pu, Hongting Niu +3

We study the model enumeration problem of the function-free, finite domain fragment of first-order logic with two variables ($F{O}^2$). Specifically, given an $F{O}^2$ sentence $\Gamma$ and…