Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2101.08377
Cited By
v1
v2 (latest)
Finite Model Theory of the Triguarded Fragment and Related Logics
21 January 2021
Emanuel Kieronski
Sebastian Rudolph
Re-assign community
ArXiv (abs)
PDF
HTML
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
30
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
18
11
0
14 Jun 2022
1