Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic
From MaRDI portal
Cites work
- A uniform one-dimensional fragment with alternation of quantifiers
- An excursion to the border of decidability: between two- and three-variable logic
- Binding forms in first-order logic
- Complexity and expressivity of uniform one-dimensional fragment with equality
- Complexity of two-variable logic on finite trees
- Complexity results for classes of quantificational formulas
- Computer Science Logic
- ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
- Finite model theory of the triguarded fragment and related logics
- Guarded negation
- scientific article; zbMATH DE number 1341614 (Why is no real title available?)
- scientific article; zbMATH DE number 7297821 (Why is no real title available?)
- Modal languages and bounded fragments of predicate logic
- On languages with two variables
- On representatives of subsets.
- On the complexity of Maslov's class K
- On the Decision Problem for Two-Variable First-Order Logic
- On the limits of decision: the adjacent fragment of first-order logic
- One-dimensional fragment of first-order logic
- One-dimensional guarded fragments
- Random models and the Gödel case of the decision problem
- Small substructures and decidability issues for first-order logic with two variables
- The fluted fragment revisited
- The triguarded fragment of first-order logic
- The two-variable fragment with counting and equivalence
- The two-variable fragment with counting revisited
- The unsolvability of the Gödel class with identity
- Two-variable first-order logic with equivalence closure
- Two-variable logic on data trees and XML reasoning
- Two-variable logic on data words
- Two-variable logic with counting and a linear order
- Two-variable logic with counting and trees
- Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
- Unary negation
- Uniform one-dimensional fragments with one equivalence relation
This page was built for publication: Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7007746)
