Fluted formulas and the limits of decidability

DOI10.2307/2275678zbMath0858.03012OpenAlexW2044898496MaRDI QIDQ4894729

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)

Related Items (5)

Decidability of fluted logic with identity ⋮ The fluted fragment with transitive relations ⋮ THE FLUTED FRAGMENT REVISITED ⋮ The Fluted Fragment with Transitivity ⋮ Axiomatizing the monodic fragment of first-order temporal logic

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Predicate-functors and the limits of decidability in logic
• A logic for natural language

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