THE FLUTED FRAGMENT REVISITED

DOI10.1017/jsl.2019.33zbMath1468.03005arXiv1812.06440OpenAlexW2971991850WikidataQ127741969 ScholiaQ127741969MaRDI QIDQ5195057

Ian Pratt-Hartmann, Wiesław Szwast, Lidia Tendera

Publication date: 17 September 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

complexityfirst-order logicdecidabilitytransitivitysatisfiability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

On Composing Finite Forests with Modal Logics ⋮ Are bundles good deals for first-order modal logic? ⋮ The fluted fragment with transitive relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment ⋮ The Fluted Fragment with Transitivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicate-functors and the limits of decidability in logic
• A structure-preserving clause form translation
• Modal languages and bounded fragments of predicate logic
• Complexity and nicety of fluted logic
• Decidability of fluted logic with identity
• Complexity Hierarchies beyond Elementary
• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• Fluted formulas and the limits of decidability
• Quine's ‘limits of decision’
• On the Restraining Power of Guards
• Quine's Fluted Fragment is Non-Elementary

This page was built for publication: THE FLUTED FRAGMENT REVISITED