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
A sequent calculus for skeptical reasoning in autopeistemic logic
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