{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T01:10:45Z","timestamp":1747185045417},"reference-count":11,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1999,4,1]]},"DOI":"10.1305\/ndjfl\/1038949538","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:30:57Z","timestamp":1046205057000},"source":"Crossref","is-referenced-by-count":7,"title":["The Principles of Interpretability"],"prefix":"10.1215","volume":"40","author":[{"given":"Mladen","family":"Vukovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"de Jongh, D., and F. Veltman, \u201cProvability logics for relative interpretability,\u201d pp. 31\u201342 in <i>Mathematical Logic<\/i>, Proceedings of the 1988 Heyting Conference, edited by P. P. Petkov, Plenum Press, New York, 1990. Zbl 0794.03026 MR 92d:03011","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"2","unstructured":"H\u00e1jek, P., \u201cInterpretability in theories containing arithmetic II,\u201d <i>Commentationes Mathematicae Universitatis Carolinae<\/i>, vol. 22 (1981), pp. 667\u201388. Zbl 0487.03032 MR 83j:03094"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Solovay, R. M., \u201cProvability interpretations of modal logic,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 25 (1976), pp. 287\u2013304. Zbl 0352.02019 MR 56:15369","DOI":"10.1007\/BF02757006"},{"key":"4","doi-asserted-by":"crossref","unstructured":"\u0160vejdar, V., \u201cModal analysis of generalized Rosser sentences,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 48 (1983), pp. 986\u201399. Zbl 0543.03010 MR 85k:03041","DOI":"10.2307\/2273663"},{"key":"5","doi-asserted-by":"crossref","unstructured":"\u0160vejdar, V., \u201cSome independence results in interpretability logic,\u201d <i>Studia Logica<\/i>, vol. 50 (1991), pp. 29\u201338. Zbl 0728.03016 MR 93c:03026","DOI":"10.1007\/BF00370385"},{"key":"6","unstructured":"Visser, A., \u201cInterpretability logic,\u201d pp. 175\u2013210 in <i>Mathematical Logic<\/i>, Proceedings of the 1988 Heyting Conference, edited by P. P. Petkov, Plenum Press, New York, 1990. Zbl 0793.03064 MR 93k:03022"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Visser, A., \u201cThe formalization of interpretability,\u201d <i>Studia Logica<\/i>, vol. 50 (1991), pp. 81\u2013105. Zbl 0744.03023 MR 93f:03009","DOI":"10.1007\/BF00370389"},{"key":"8","unstructured":"Visser, A., \u201cAn overview of interpretability,\u201d pp. 307\u201359 in <i>Advances in Modal Logic<\/i>, edited by M. Kracht, M. de Rijke, and H. Wansing, CSLI Publications, Stanford, 1996. Zbl 0915.03020 MR 1688529"},{"key":"9","unstructured":"Vukovi\u0107, M., \u201cSome correspondences of principles in interpretability logic,\u201d <i>Glasnik Matemati\u010dki<\/i>, vol. 31 (1996), pp. 193\u2013200. Zbl 0871.03043 MR 98i:03076"},{"key":"10","unstructured":"Vukovi\u0107, M., \u201cInterpretability logic and generalized Veltman models,\u201d abstract, <i>The Bulletin of Symbolic Logic<\/i>, vol. 6 (2000), p. 131."},{"key":"11","unstructured":"Vukovi\u0107, M., \u201cCharacteristic classes and bisimulations of generalized Veltman models,\u201d <i>Grazer Mathematische Berichte<\/i>, vol. 341 (1999), pp. 7\u201316. Zbl 01606606 MR 1816205"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1038949538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:46Z","timestamp":1706649226000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-40\/issue-2\/The-Principles-of-Interpretability\/10.1305\/ndjfl\/1038949538.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4,1]]},"references-count":11,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1999,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1038949538","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4,1]]}}}