On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)

Download PDF

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

Published: 01 Jan 2024, Last Modified: 22 Feb 2025Description Logics 2024EveryoneRevisionsBibTeXCC BY-SA 4.0