Quine's ‘limits of decision’

DOI10.2307/2586789zbMath0994.03004OpenAlexW2039657446MaRDI QIDQ4948519

William C. Purdy

Publication date: 7 June 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586789

zbMATH Keywords

presentationfree algebrafirst-order logicdecidabilitysatisfiability problemlattice of logicsfluted logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25)

Related Items (2)

First-Order Resolution Methods for Modal Logics ⋮ THE FLUTED FRAGMENT REVISITED

Cites Work

• Predicate-functors and the limits of decidability in logic
• Decidability of fluted logic with identity
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quine's ‘limits of decision’