Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Download PDF
Open Webpage

Carsten Lutz, Quentin Manière

Published: 2024, Last Modified: 22 Jul 2025KR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We study extensions of expressive decidable fragments of first-order logic with circumscription, considering in particular the two-variable fragment FO^2, its extension C^2 with counting quantifier...