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

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

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

(17)

• A general method of axiomatizing fragments
• Transitivity and equivalence in decidable fragments of first-order logic: a survey
• scientific article; zbMATH DE number 4202241 (Why is no real title available?)
• Combinations of Theories for Decidable Fragments of First-Order Logic
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• Fragments of first-order logic over infinite words
• Ordered Fragments of First-Order Logic
• On the existential fragments of local first-order logics with data
• Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
• Exploring non-regular extensions of propositional dynamic logic with description-logics features
• Two variable logic with ultimately periodic counting
• On two-variable first-order logic with a partial order
• The adjacent fragment and Quine's limits of decision
• Decidability of querying first-order theories via countermodels of finite width
• About the expressive power and complexity of order-invariance with two variables
• On homogeneous models of fluted languages
• Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory 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)