Self-reference and incompleteness in a non-monotonic setting

DOI10.1007/BF01048689zbMath0811.03003MaRDI QIDQ1332147

Timothy G. McCarthy

Publication date: 1994

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

zbMATH Keywords

nonmonotonic reasoninganalogues of Gödel's first incompleteness theorem

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Cites Work

• Experimental logics and \(\Delta^0_2\)-theories
• Believing the axioms. I
• Trial and error predicates and the solution to a problem of Mostowski
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Self-reference and incompleteness in a non-monotonic setting