The guarded fragment with transitive guards
type: Item
instance of: scholarly article
title: The guarded fragment with transitive guards
zbMATH Open document ID: 1048.03010
author: Wiesław Szwast
author: Lidia Tendera
published in: Annals of Pure and Applied Logic
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2091346
zbMATH Keywords: Decision problem
zbMATH Keywords: First-order logic
zbMATH Keywords: Guarded fragment
zbMATH Keywords: Transitivity
zbMATH Keywords: Computational complexity
MaRDI profile type: Publication
full work available at URL: j.apal.2004.01.003
OpenAlex ID: W2030359223
cites work: Modal languages and bounded fragments of predicate logic
cites work: Q3996675
cites work: On the relative expressiveness of description logics and predicate logics
cites work: Q5203714
cites work: Q3336675
cites work: On the Restraining Power of Guards
cites work: Q4790403
cites work: On the Decision Problem for Two-Variable First-Order Logic
cites work: On logics with two variables
cites work: Loosely guarded fragment of first-order logic has the finite model property
cites work: Q4736875
cites work: Q4417866
cites work: Complexity results for classes of quantificational formulas
cites work: Q4137143
cites work: Q5633670
cites work: On languages with two variables
cites work: On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
cites work: Q4954172
cites work: Q4353561
cites work: Complexity Results for First-Order Two-Variable Logic with Counting
DOI: 10.1016/J.APAL.2004.01.003
description: scientific article; zbMATH DE number 2091346