Decidability of fluted logic with identity

DOI10.1305/NDJFL/1040067318MaRDI QIDQ1924331zbMATH OpenOpenAlexFDO

Authors William C. Purdy

Publication date 17 March 1997

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040067318

zbMATH Keywords

constituentsdecidabilityfluted formulaidentitysatisfiability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Review text

In ``Fluted formulas and the limits of decidability [J. Symb. Log. 61, No. 2, 608-620 (1996; see the review above)], the author showed the decidability of the satisfiability problem for fluted formulas. In this paper he extends this decidability result to include identity.

Recommendations

• Fluted formulas and the limits of decidability
• Complexity and nicety of fluted logic
• The fluted fragment revisited
• scientific article; zbMATH DE number 1614714
• Quine's ‘limits of decision’

Cites work

• A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
• Fluted formulas and the limits of decidability
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 3417428 (Why is no real title available?)
• scientific article; zbMATH DE number 3057869 (Why is no real title available?)
• Predicate functors revisited
• Predicate-functors and the limits of decidability in logic

Cited in

(10)

• Complexity and nicety of fluted logic
• Axiomatizing the monodic fragment of first-order temporal logic
• scientific article; zbMATH DE number 1614714 (Why is no real title available?)
• A decidable subclass of the minimal Gödel class with identity
• Fluted formulas and the limits of decidability
• First-order resolution methods for modal logics
• Quine's ‘limits of decision’
• The fluted fragment revisited
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments

Describes a project that uses

Uses Software

• ETPS

This page was built for publication: Decidability of fluted logic with identity

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