{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T12:33:34Z","timestamp":1754397214542},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf00370386","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:35Z","timestamp":1099439375000},"page":"39-49","source":"Crossref","is-referenced-by-count":17,"title":["Explicit Fixed Points in Interpretability Logic"],"prefix":"10.1007","volume":"50","author":[{"given":"Dick","family":"de Jongh","sequence":"first","affiliation":[]},{"given":"Albert","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"The Unprovability of Consistency","author":"G. Boolos","year":"1979","unstructured":"G. Boolos, 1979, The Unprovability of Consistency, CUP, London."},{"key":"CR2","volume-title":"Thesis","author":"S. Buss","year":"1985","unstructured":"S. Buss, 1985, Bounded Arithmetic, Thesis, Princeton University Press, Princeton. Reprinted: 1986, Bibliopolis, Napoli."},{"key":"CR3","unstructured":"D. H. J. de Jongh and P. Veltman, 1988, Provability logics for relative interpretability, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988."},{"key":"CR4","first-page":"667","volume":"22","author":"P. H\ufffdjek","year":"1981","unstructured":"P. H\ufffdjek, 1981, Interpretability in theories containing arithmetic II, Commentationes Mathematicae Universitatis Caroline 22 (1981), pp. 667?688.","journal-title":"Commentationes Mathematicae Universitatis Caroline"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"C. Smory?ski, 1985, Self-Reference and Modal Logic, Springer Verlag.","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"986","DOI":"10.2307\/2273663","volume":"48","author":"V. ?vejdar","year":"1983","unstructured":"V. ?vejdar, 1983, Modal analysis of generalized Rosser sentences, Journal of Symbolic Logic 48 (1983), pp. 986?999.","journal-title":"Journal of Symbolic Logic"},{"key":"CR7","unstructured":"A. Visser, 1988, Interpretability logic, Logic Group Preprint Series nr 40, Department of Philosophy, University of Utrecht, Utrecht, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988."},{"key":"CR8","series-title":"Logic Group Preprint Series","volume-title":"Preliminary notes on interpretability logic","author":"A. Visser","year":"1988","unstructured":"A. Visser, 1988P, Preliminary notes on interpretability logic, Logic Group Preprint Series nr 29, Department of Philosophy, University of Utrecht, Utrecht."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370386.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370386\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:20Z","timestamp":1585938200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370386"],"URL":"https:\/\/doi.org\/10.1007\/bf00370386","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}