v1v2 (latest)

Finite Model Theory of the Triguarded Fragment and Related Logics

21 January 2021

Papers citing "Finite Model Theory of the Triguarded Fragment and Related Logics"

3 / 3 papers shown

Title
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 83 2 0 13 Apr 2023
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph 27 8 0 06 Sep 2022
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic Lucía Gómez Álvarez Sebastian Rudolph Hannes Strass 16 11 0 14 Jun 2022