One-dimensional guarded fragments

DOI10.4230/LIPICS.MFCS.2019.16MaRDI QIDQ5092374zbMATH OpenFDO

Authors Emanuel Kieroński

Publication date 21 July 2022

Full work available at URL https://arxiv.org/abs/1904.04572

zbMATH Keywords

finite model propertyguarded fragmentsatisfiabilitytwo-variable logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Finite model theory of the triguarded fragment and related logics
• The triguarded fragment of first-order logic
• One-dimensional logic over words
• On the Restraining Power of Guards
• One-dimensional fragment over words and trees

Cites work

• Alternation
• Complexity and expressivity of uniform one-dimensional fragment with equality
• Computer Science Logic
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Guarded negation
• Modal languages and bounded fragments of predicate logic
• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• On the Restraining Power of Guards
• One-dimensional fragment of first-order logic
• Querying the Guarded Fragment
• The triguarded fragment of first-order logic
• The unsolvability of the Gödel class with identity
• Unary negation

Cited in

(6)

• Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
• Querying the Guarded Fragment
• One-dimensional fragment over words and trees
• Uniform guarded fragments
• A uniform one-dimensional fragment with alternation of quantifiers
• Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic

This page was built for publication: One-dimensional guarded fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092374)