Ordered Fragments of First-Order Logic

DOI10.4230/LIPICS.MFCS.2021.62MaRDI QIDQ6168480zbMATH OpenOpenAlexFDO

Authors

Publication date 8 August 2023

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

zbMATH Keywords

complexitydecidabilityfluted logicordered logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Abstract: Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.

Recommendations

• Fragments of First-Order Logic
• The relevant fragment of first order logic
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• Decidable fragments of first-order modal logics
• A first-order logic with frames
• First-order intensional logic
• scientific article; zbMATH DE number 3251384
• scientific article; zbMATH DE number 1114358

Cited in

(4)

• Fragments of first-order logic over infinite words
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• First order in Ludics
• Uniform guarded fragments

This page was built for publication: Ordered Fragments of First-Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6168480)