On Undecidability of Non-monotonic Logic

Szczegóły
Opis

Tytuł:: On Undecidability of Non-monotonic Logic
Autorzy:: Suchenek, M. A.
Powiązania:: https://bibliotekanauki.pl/articles/92958.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: default logic
autoepistemic logic
asymptotic decidability
Źródło:: Studia Informatica : systems and information technology; 2006, 1(7); 127-132
1731-2264
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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 ∆_n+1 but not Σ _n nor Π _n for some n ≥1 in Kleene- Mostowski hierarchy of arithmetical sets.

Informacja

Powiązane pozycje