Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Weak interpretability
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Interpretability_logic/jITyuWFr">Interpretability logic</a></li></ul> <ul><li><a href="/facts/Alfred_Tarski/7h6NySAj">Tarski, Alfred</a> (1953), <i>Undecidable theories</i>, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland Publishing Company, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0058532">0058532</a>. Written in collaboration with <a href="/facts/Andrzej_Mostowski/jIYwsCEC">Andrzej Mostowski</a> and <a href="/facts/Raphael_M._Robinson/c5egdfRe">Raphael M. Robinson</a>.</li> <li><a href="/facts/Giorgi_Japaridze/jIqdKMln">Dzhaparidze, Giorgie</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">Dzhaparidze, Giorgie</a> (1992), "The logic of linear tolerance", <i>Studia Logica</i>, 51 (2): 249–277, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF00370116">10.1007/BF00370116</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1185914">1185914</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>, Stud. Logic Found. Math., 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>