Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
type: Item
instance of: scholarly article
title: Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
DOI: 10.1007/978-3-030-75775-5_13
author: Bartosz Bednarczyk
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7437041
MaRDI profile type: Publication
full work available at URL: 978-3-030-75775-5 13
OpenAlex ID: W3162533888
cites work: Modal languages and bounded fragments of predicate logic
cites work: An Introduction to Description Logic
cites work: Q3912018
cites work: Taming the infinite chase: query answering under expressive relational constraints
cites work: Alternation
cites work: Querying the Guarded Fragment with Transitivity
cites work: On the Restraining Power of Guards
cites work: The Freedoms of (Guarded) Bisimulation
cites work: Q4938431
cites work: On the complexity of the two-variable guarded fragment with transitive guards
cites work: Q5092374
cites work: Elements of finite model theory.
cites work: Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
cites work: THE FLUTED FRAGMENT REVISITED
description: scientific article; zbMATH DE number 7437041