Decidability of fluted logic with identity

DOI10.1305/NDJFL/1040067318zbMATH Open0858.03013OpenAlexW1976645152MaRDI QIDQ1924331FDOQ1924331

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

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’

zbMATH Keywords

decidabilitysatisfiabilityidentityconstituentsfluted formula

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predicate-functors and the limits of decidability in logic
• Predicate functors revisited
• A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
• Fluted formulas and the limits of decidability

Cited In (9)

• Complexity and nicety of fluted logic
• Axiomatizing the monodic fragment of first-order temporal logic
• THE FLUTED FRAGMENT REVISITED
• First-Order Resolution Methods for Modal Logics
• A decidable subclass of the minimal Gödel class with identity
• Craig interpolation for decidable first-order fragments
• Fluted formulas and the limits of decidability
• Title not available (Why is that?)
• Quine's ‘limits of decision’

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)