Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Cointerpretability
open-in-new
<h2 id="see-also">See also</h2> <ul><li>Cotolerance</li> <li><a href="/facts/Interpretability_logic/jITyuWFr">Interpretability logic</a></li> <li><a href="/facts/Tolerance_(in_logic)/hQ26XBml">Tolerance (in logic)</a></li></ul> <ul><li><a href="/facts/Giorgi_Japaridze/jIqdKMln">Japaridze, Giorgi</a> (1993), "A generalized notion of weak interpretability and the corresponding modal logic", <i>Annals of Pure and Applied Logic</i>, 61 (1–2): 113–160, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0168-0072%2893%2990201-N">10.1016/0168-0072(93)90201-N</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1218658">1218658</a>.</li> <li><a href="/facts/Giorgi_Japaridze/jIqdKMln">Japaridze, Giorgi</a>; <a href="/facts/Dick_de_Jongh/pQ25w4cs">de Jongh, Dick</a> (1998), "The logic of provability", in <a href="/facts/Samuel_Buss/SNTS5XXj">Buss, Samuel R.</a> (ed.), <i>Handbook of Proof Theory</i>, Studies in Logic and the Foundations of Mathematics, vol. 137, Amsterdam: North-Holland, pp. 475–546, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS0049-237X%2898%2980022-0">10.1016/S0049-237X(98)80022-0</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1640331">1640331</a>.</li></ul>