Fluted formulas and the limits of decidability

DOI10.2307/2275678MaRDI QIDQ4894729zbMATH OpenOpenAlexFDO

Authors William C. Purdy

Publication date 19 March 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://surface.syr.edu/eecs_techreports/154

zbMATH Keywords

decidabilitysatisfiabilityfluted formula

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Recommendations

• Decidability of fluted logic with identity
• scientific article; zbMATH DE number 1696781
• scientific article; zbMATH DE number 1696834
• scientific article; zbMATH DE number 3855058
• scientific article; zbMATH DE number 1916517
• From formulas to cirquents in computability logic
• scientific article; zbMATH DE number 4164193
• scientific article; zbMATH DE number 1670476
• scientific article; zbMATH DE number 4116512
• scientific article; zbMATH DE number 3995646

Cites work

• scientific article; zbMATH DE number 3738889 (Why is no real title available?)
• A logic for natural language
• Predicate-functors and the limits of decidability in logic

Cited in

(7)

• Decidability of fluted logic with identity
• Quine's fluted fragment is non-elementary
• Axiomatizing the monodic fragment of first-order temporal logic
• The fluted fragment with transitive relations
• Craig interpolation for decidable first-order fragments
• The fluted fragment revisited
• The Fluted Fragment with Transitivity

Describes a project that uses

Uses Software

• ETPS

This page was built for publication: Fluted formulas and the limits of decidability

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