On homogeneous models of fluted languages
From MaRDI portal
Cites work
- A new description logic with set constraints and cardinality constraints on role successors
- Adding transitivity and counting to the fluted fragment
- Division by zero
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
- Fluted formulas and the limits of decidability
- Fluted logic with counting
- Fragments of First-Order Logic
- scientific article; zbMATH DE number 3307531 (Why is no real title available?)
- scientific article; zbMATH DE number 7799614 (Why is no real title available?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- On the complexity of integer programming
- On the Decision Problem for Two-Variable First-Order Logic
- On the limits of decision: the adjacent fragment of first-order logic
- On the Restraining Power of Guards
- Ordered Fragments of First-Order Logic
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- The fluted fragment revisited
- The fluted fragment with transitive relations
- The Fluted Fragment with Transitivity
- The two-variable fragment with counting revisited
- Towards a model theory of ordered logics: expressivity and interpolation
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
- Two variable logic with ultimately periodic counting
- Undecidability results on two-variable logics
This page was built for publication: On homogeneous models of fluted languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7261415)
