Fragments of First-Order Logic

DOI10.1093/OSO/9780192867964.001.0001MaRDI QIDQ5871044zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann

Publication date 24 January 2023

Full work available at URL https://doi.org/10.1093/oso/9780192867964.001.0001

Mathematics Subject Classification ID

Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• On the Decision Problem for Two-Variable First-Order Logic
• The fluted fragment revisited
• One-dimensional fragment over words and trees
• Inexpressiveness of first-order fragments
• Modal languages and bounded fragments of predicate logic

Cited in

(10)

• Combinations of Theories for Decidable Fragments of First-Order Logic
• Fragments of first-order logic over infinite words
• Exploring non-regular extensions of propositional dynamic logic with description-logics features
• Two variable logic with ultimately periodic counting
• Ordered Fragments of First-Order Logic
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• A general method of axiomatizing fragments
• On the existential fragments of local first-order logics with data
• scientific article; zbMATH DE number 4202241 (Why is no real title available?)
• Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features

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

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