Results 1 -
2 of
2
The Interpretability Logic of all Reasonable Arithmetical Theories
- ERKENNTNIS
, 1999
"... This paper is a presentation of a status quaestionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question. ..."
Abstract
-
Cited by 8 (5 self)
- Add to MetaCart
This paper is a presentation of a status quaestionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.
How to Derive Principles of Interpretability Logic
, 2004
"... In this paper, we develop a toolkit to derive principles for the interpetability logic of all reasonable theories by fine-tuning ILM and ILP proofs. ..."
Abstract
- Add to MetaCart
In this paper, we develop a toolkit to derive principles for the interpetability logic of all reasonable theories by fine-tuning ILM and ILP proofs.
