scientific article; zbMATH DE number 7561660

DOI10.4230/LIPIcs.MFCS.2019.16MaRDI QIDQ5092374

Emanuel Kieroński

Publication date: 21 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite model propertysatisfiabilityguarded fragmenttwo-variable logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Uniform guarded fragments ⋮ Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment

Cites Work

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

This page was built for publication: