{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T15:54:54Z","timestamp":1721922894891},"reference-count":36,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1715653","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T18:31:09Z","timestamp":1336588269000},"source":"Crossref","is-referenced-by-count":4,"title":["Provability and Interpretability Logics with Restricted Realizations"],"prefix":"10.1215","volume":"53","author":[{"given":"Thomas F.","family":"Icard","sequence":"first","affiliation":[]},{"given":"Joost J.","family":"Joosten","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"29","doi-asserted-by":"publisher","unstructured":"Parsons, C., \"On $n$\"-quantifier induction, <i>The Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 466\u201382.","DOI":"10.2307\/2272731"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Beklemishev, L. D., \"Reflection schemes and provability algebras in formal arithmetic\", <i>Uspekhi Matematicheskikh Nauk<\/i>, vol. 60 (2005), pp. 3\u201378. vol. 60, pp. 197\u2013268.","DOI":"10.4213\/rm1401"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Beklemishev, L. D., \"Bimodal logics for extensions of arithmetical theories\", <i>The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 91\u2013124.","DOI":"10.2307\/2275600"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Beklemishev, L. D., \"Kripke semantics for provability logic GLP\", <i>Annals of Pure and Applied Logic<\/i>, vol. 161 (2010), pp. 756\u201374.","DOI":"10.1016\/j.apal.2009.06.011"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Beklemishev, L. D., J. J. Joosten, and M. Vervoort, \"A finitary treatment of the closed fragment of Japaridze's provability logic\", <i>Journal of Logic and Computation<\/i>, vol. 15 (2005), pp. 447\u201363.","DOI":"10.1093\/logcom\/exi038"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Beklemishev, L. D., and A. Visser, \"On the limit existence principles in elementary arithmetic and $\\Sigma^0_n$\"-consequences of theories, <i>Annals of Pure and Applied Logic<\/i>, vol. 136 (2005), pp. 56\u201374.","DOI":"10.1016\/j.apal.2005.05.005"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Berarducci, A., \"The interpretability logic of Peano arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 55 (1990), pp. 1059\u201389.","DOI":"10.2307\/2274474"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Berarducci, A., and R. Verbrugge, \"On the provability logic of bounded arithmetic\", <i>Annals of Pure and Applied Logic<\/i>, vol. 61 (1993), pp. 75\u201393. Provability, Interpretability and Arithmetic Symposium (Utrecht, 1991).","DOI":"10.1016\/0168-0072(93)90199-N"},{"key":"9","doi-asserted-by":"publisher","unstructured":"B\u00edlkov\u00e1, M., D. de Jongh, and J. J. Joosten, \"Interpretability in PRA\", <i>Annals of Pure and Applied Logic<\/i>, vol. 161 (2009), pp. 128\u201338.","DOI":"10.1016\/j.apal.2009.05.012"},{"key":"10","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Boolos, G., <i>The Logic of Provability<\/i>, Cambridge University Press, Cambridge, 1993.","DOI":"10.1017\/CBO9780511625183"},{"key":"12","unstructured":"Buss, S. R., <i>Bounded Arithmetic<\/i>, vol. 3 of <i>Studies in Proof Theory. Lecture Notes<\/i>, Bibliopolis, Naples, 1986. Ph.D. thesis."},{"key":"13","doi-asserted-by":"publisher","unstructured":"de Jongh, D., M. Jumelet, and F. Montagna, \"On the proof of Solovay's theorem\", <i>Studia Logica<\/i>, vol. 50 (1991), pp. 51\u201369.","DOI":"10.1007\/BF00370387"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Goris, E., and J. J. Joosten, \"A new principle in the interpretability logic of all reasonable arithmetical theories\", <i>Logic Journal of the IGPL<\/i>, vol. 19 (2011), pp. 14\u201317.","DOI":"10.1093\/jigpal\/jzp082"},{"key":"15","doi-asserted-by":"publisher","unstructured":"H\u00e1jek, P., and F. Montagna, \"The logic of $\\Pi_1$\"-conservativity, <i>Archive for Mathematical Logic<\/i>, vol. 30 (1990), pp. 113\u201323.","DOI":"10.1007\/BF01634981"},{"key":"16","doi-asserted-by":"publisher","unstructured":"H\u00e1jek, P., and F. Montagna, \"The logic of $\\Pi_1$\"-conservativity continued, <i>Archive for Mathematical Logic<\/i>, vol. 32 (1992), pp. 57\u201363.","DOI":"10.1007\/BF01270395"},{"key":"17","doi-asserted-by":"publisher","unstructured":"H\u00e1jek, P., and V. \u0160vejdar, \"A note on the normal form of closed formulas of interpretability logic\", <i>Studia Logica<\/i>, vol. 50 (1991), pp. 25\u201328.","DOI":"10.1007\/BF00370384"},{"key":"18","unstructured":"Icard, T., \"Towards an alternative proof of Solovay's Arithmetical Completeness Theorem\", <i>Proceedings of the 12th ESSLLI<\/i> Student Session, Dublin, 2007."},{"key":"19","doi-asserted-by":"publisher","unstructured":"Icard, T., \"A topological study of the closed fragment of GLP\", <i>Journal of Logic and Computation<\/i>, vol. 21 (2011), pp. 683\u201396.","DOI":"10.1093\/logcom\/exp043"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Ignatiev, K. N., \"On strong provability predicates and the associated modal logics\", <i>The Journal of Symbolic Logic<\/i>, vol. 58 (1993), pp. 249\u201390.","DOI":"10.2307\/2275337"},{"key":"21","unstructured":"Japaridze, G., <i>Modal Logical Means of Investigation of Provability<\/i>, Ph.D. thesis, Moscow State University, Moscow, 1986. In Russian."},{"key":"22","doi-asserted-by":"publisher","unstructured":"Japaridze, G., and D. de Jongh, \"The logic of provability\", pp. 475\u2013546 in <i>Handbook of Proof Theory<\/i>, edited by S. R. Buss, vol. 137 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, Elsevier, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"23","unstructured":"Joosten, J. J., \"Formalized interpretability in Primitive Recursive Arithmetic\", <i>Proceedings of the ESSLLI<\/i> Student Session, Vienna, 2003."},{"key":"24","unstructured":"Joosten, J., <i>Intepretability Formalized<\/i>, Ph.D. thesis, Department of Philosophy, University of Utrecht, Utrecht, 2004."},{"key":"25","doi-asserted-by":"publisher","unstructured":"Joosten, J. J., \"The closed fragment of the interpretability logic of PRA\" with a constant for ${\\rm I}\\Sigma_1$, <i>Notre Dame Journal of Formal Logic<\/i>, vol. 46 (2005), pp. 127\u201346.","DOI":"10.1305\/ndjfl\/1117755145"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Joosten, J. J., and A. Visser, \"The interpretability logic of all reasonable arithmetical theories. The new conjecture\", <i>Erkenntnis<\/i>, vol. 53 (2000), pp. 3\u201326.","DOI":"10.1023\/A:1005657917054"},{"key":"27","doi-asserted-by":"publisher","unstructured":"L\u00f6b, M. H., \"Solution of a problem of Leon Henkin\", <i>The Journal of Symbolic Logic<\/i>, vol. 20 (1955), pp. 115\u201318.","DOI":"10.2307\/2266895"},{"key":"28","doi-asserted-by":"crossref","unstructured":"Mints, G., \"Quantifier-free and one-quantifier systems\", <i>Journal of Soviet Mathematics<\/i>, vol. 1 (1972), pp. 71\u201384.","DOI":"10.1007\/BF01117472"},{"key":"30","doi-asserted-by":"publisher","unstructured":"Sambin, G., \"An effective fixed-point theorem in intuitionistic diagonalizable algebras. The algebraization of the theories which express Theor, IX\", <i>Studia Logica<\/i>, vol. 35 (1976), pp. 345\u201361.","DOI":"10.1007\/BF02123402"},{"key":"31","unstructured":"Shavrukov, V., <i>The Logic of Relative Interpretability over Peano Arithmetic<\/i> (in Russian), Steklov Mathematical Institute, Moscow, 1988. Technical Report No. 5."},{"key":"32","unstructured":"Shavrukov, V. Y., \"Interpreting reflexive theories in finitely many axioms\", <i>Fundamenta Mathematicae<\/i>, vol. 152 (1997), pp. 99\u2013116."},{"key":"33","unstructured":"Tarski, A., <i>Undecidable Theories<\/i>, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1953. In collaboration with A. Mostowski and R. M. Robinson."},{"key":"34","doi-asserted-by":"publisher","unstructured":"Visser, A., \"A propositional logic with explicit fixed points\", <i>Studia Logica<\/i>, vol. 40 (1981), pp. 155\u201375.","DOI":"10.1007\/BF01874706"},{"key":"35","doi-asserted-by":"publisher","unstructured":"Visser, A., \"Interpretability logic\", pp. 175\u2013209 in <i>Mathematical Logic. Proceedings of the Heyting 1988 Summer School in Varna, Bulgaria.<\/i>, edited by P. P. Petkov, Plenum Press, Boston, 1990.","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"36","unstructured":"Visser, A., \"An overview of interpretability logic\", pp. 307\u201359 in <i>Advances in Modal Logic, Vol. 1 (Berlin, 1996)<\/i>, edited by M. Kracht, M. de Rijke, and H. Wansing, vol. 87 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 1998."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Beklemishev, L. D., G. Bezhanishvili, and T. Icard, <i>On Topological Semantics of <i><b>GLP<\/b><\/i><\/i>, edited by R. Schindler, Ontos Verlag, Frankfurt am Main, 2010.","DOI":"10.1515\/9783110324907.135"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1715653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:49Z","timestamp":1706648269000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-2\/Provability-and-Interpretability-Logics-with-Restricted-Realizations\/10.1215\/00294527-1715653.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":36,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1715653","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}