Transitivity and equivalence in decidable fragments of first-order logic: a survey

DOI10.1007/978-3-662-58771-3_10MaRDI QIDQ2284181zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann

Publication date 14 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-58771-3_10

zbMATH Keywords

complexityequivalencefirst-order logictransitivity

Mathematics Subject Classification ID

General logic (03Bxx) Logic in artificial intelligence (68T27)

Recommendations

• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
• The fluted fragment with transitive relations
• The Fluted Fragment with Transitivity
• Taming first-order logic
• Fragments of First-Order Logic

Cited in

(1)

• scientific article; zbMATH DE number 1507188 (Why is no real title available?)

This page was built for publication: Transitivity and equivalence in decidable fragments of first-order logic: a survey

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