A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
A sequent calculus for skeptical reasoning in autopeistemic logic
2004
Non-Monotonic Reasoning
Preserved Fulltext
A sequent calculus for skeptical consequence in infinite autoepistemic theories is presented and proved sound and complete. While skeptical consequence is decidable in the finite case, the move to infinite theories increases the complexity of skeptical reasoning to being Π 1 1 -complete. This implies the need for sequent rules with countably many premises, and such rules are employed.
dblp:conf/nmr/Milnikel04
fatcat:zyy3jn7znrbqzg26qg6folnzpe