Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

Robert Saxon Milnikel. Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics. Annals of Mathematics and Artificial Intelligence, 44(1-2):1-34, 2005. [doi]

Abstract

Abstract is missing.