Fragments of First-Order Logic

DOI10.1093/OSO/9780192867964.001.0001OpenAlexW4377031873MaRDI QIDQ5871044FDOQ5871044

Authors: Ian Pratt-Hartmann 

Publication date: 24 January 2023

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• 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
• Title not available (Why is that?)
• A general method of axiomatizing fragments
• On the existential fragments of local first-order logics with data
• Title not available (Why is that?)
• Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
• Combinations of Theories for Decidable Fragments of First-Order Logic

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)