scholarly journals Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

2018 ◽  
Vol 19 (2) ◽  
pp. 1-34 ◽  
Author(s):  
Emanuel Kieroński ◽  
Lidia Tendera
Keyword(s):  
Guarded Fragment

scholarly journals Querying the Guarded Fragment

2010 ◽  
Author(s):  
Vince Bárány ◽  
Georg Gottlob ◽  
Martin Otto
Keyword(s):  
Guarded Fragment

Querying the Guarded Fragment with Transitivity

2013 ◽  
pp. 287-298 ◽  
Author(s):  
Georg Gottlob ◽  
Andreas Pieris ◽  
Lidia Tendera
Keyword(s):  
Guarded Fragment

scholarly journals Beth Definability for the Guarded Fragment

1999 ◽  
pp. 273-285 ◽  
Author(s):  
Eva Hoogland ◽  
Maarten Marx ◽  
Martin Otto
Keyword(s):  
Beth Definability ◽  
Guarded Fragment

EXPSPACE-Complete Variant of Guarded Fragment with Transitivity

2002 ◽  
pp. 608-619 ◽  
Author(s):  
Emanuel Kieroński
Keyword(s):  
Guarded Fragment

scholarly journals Equivalence closure in the two-variable guarded fragment

2015 ◽  
pp. exv075 ◽  
Author(s):  
Emanuel Kieroński ◽  
Ian Pratt-Hartmann ◽  
Lidia Tendera
Keyword(s):  
Guarded Fragment

scholarly journals Highly acyclic groups, hypergraph covers, and the guarded fragment

2012 ◽  
Vol 59 (1) ◽  
pp. 1-40 ◽  
Author(s):  
Martin Otto
Keyword(s):  
Guarded Fragment

scholarly journals Undecidable relativizations of algebras of relations

1999 ◽  
Vol 64 (2) ◽  
pp. 747-760 ◽  
Author(s):  
Szabolcs Mikulás ◽  
Maarten Marx
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
Similarity Type ◽  
First Order ◽  
Equational Theories ◽  
Algebras Of Relations ◽  
Guarded Fragment ◽  
Cylindric Set Algebras

AbstractIn this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.

Sign in / Sign up

Export Citation Format

Share Document