scientific article; zbMATH DE number 7561660
From MaRDI portal
Publication:5092374
DOI10.4230/LIPIcs.MFCS.2019.16MaRDI QIDQ5092374
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.
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: