Decidability of fluted logic with identity

DOI10.1305/NDJFL/1040067318MaRDI QIDQ1924331zbMATHOpenAlexFDO

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

decidabilitysatisfiabilityidentityconstituentsfluted formula

Mathematics Subject Classification ID

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

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

• 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?)
• A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
• Fluted formulas and the limits of decidability
• Predicate functors revisited
• Predicate-functors and the limits of decidability in logic

Cited in

(9)

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