Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's original autoepistemic logic that embody default logic have been studied. All these logics differ significantly from Moore's ...
We demonstrate that the logic contained in the draft Z standard is inconsistent.
In [2] S. Artemov introduced the logic of proofs LP describing provability in an arbitrary system. In this paper we present the logic LPM of the standard multiple conclusion proof predicate in Peano Arithmetic with the negative introspection operation. ...
Springer-Verlag
Berlin, Heidelberg
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in