On Undecidability of Non-monotonic Logic
Abstract
The degree of undecidability of nonmonotonic logic is investigated. A proof is provided that arithmetical but not recursively enumerable sets of sentences definable by nonmonotonic default logic are elements of Dn+1 but not Sn nor Pn for some n>= 1 in Kleene-Mostowski hierarchy of arithmetical sets.
Downloads
Download data is not yet available.
Downloads
Published
2006-12-15
How to Cite
Suchenek, M. (2006). On Undecidability of Non-monotonic Logic. Studia Informatica. System and Information Technology, 7(1-2), 127–132. Retrieved from https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856
Issue
Section
Article