Decidability of fluted logic with identity

DOI10.1305/ndjfl/1040067318zbMath0858.03013OpenAlexW1976645152MaRDI QIDQ1924331

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

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

Related Items (4)

First-Order Resolution Methods for Modal Logics ⋮ THE FLUTED FRAGMENT REVISITED ⋮ Quine's ‘limits of decision’ ⋮ Axiomatizing the monodic fragment of first-order temporal logic

Uses Software

• ETPS

Cites Work

• Predicate-functors and the limits of decidability in logic
• Predicate functors revisited
• Fluted formulas and the limits of decidability
• A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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