Ordered Fragments of First-Order Logic

DOI10.4230/LIPICS.MFCS.2021.62arXiv2103.08046OpenAlexW3196093711MaRDI QIDQ6168480FDOQ6168480

Authors:

Publication date: 8 August 2023

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.

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

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

zbMATH Keywords

complexitydecidabilityfluted logicordered logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (4)

• Fragments of first-order logic over infinite words
• Title not available (Why is that?)
• 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)