{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:55Z","timestamp":1755220975563,"version":"3.43.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1023\/a:1011902222652","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T06:29:09Z","timestamp":1040624949000},"page":"89-101","source":"Crossref","is-referenced-by-count":8,"title":["Weak and Strong Theories of Truth"],"prefix":"10.1007","volume":"68","author":[{"given":"Michael","family":"Sheard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"381857_CR1","doi-asserted-by":"crossref","first-page":"244","DOI":"10.2307\/2274965","volume":"55","author":"A. Cantini","year":"1990","unstructured":"Cantini, A., 'A theory of formal truth arithmetically equivalent to ID\n1', Journal of Symbolic Logic 55 (1990), 244-259.","journal-title":"Journal of Symbolic Logic"},{"key":"381857_CR2","doi-asserted-by":"crossref","unstructured":"Feferman, S., 'Theories of finite type related to mathematical practice', in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, 1977, pp. 913-971.","DOI":"10.1016\/S0049-237X(08)71126-1"},{"key":"381857_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S. Feferman","year":"1991","unstructured":"Feferman, S., 'Reflecting on incompleteness', Journal of Symbolic Logic 56 (1991), 1-49.","journal-title":"Journal of Symbolic Logic"},{"key":"381857_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1987","unstructured":"Friedman, H., and M. Sheard, 'An axiomatic approach to self-referential truth', Annals of Pure and Applied Logic 33 (1987), 1-21.","journal-title":"Annals of Pure and Applied Logic"},{"key":"381857_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(88)90038-3","volume":"40","author":"H. Friedman","year":"1988","unstructured":"Friedman, H., and M. Sheard, 'The disjunction and existence properties for axiomatic systems of truth', Annals of Pure and Applied Logic 40 (1988), 1-10.","journal-title":"Annals of Pure and Applied Logic"},{"key":"381857_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","volume":"35","author":"V. Halbach","year":"1994","unstructured":"Halbach, V., 'A system of complete and consistent truth', Notre Dame Journal of Formal Logic 35 (1994), 311-327.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"381857_CR7","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1002\/malq.19900360509","volume":"36","author":"H. Kotlarski","year":"1990","unstructured":"Kotlarski, H., and Z. Ratajczyk, 'More on induction in the language with a full satisfaction class', Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 36 (1990), 441-454.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"381857_CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00649483","volume":"14","author":"V. McGee","year":"1985","unstructured":"McGee, V., 'How truth-like can a predicate be? A negative result', Journal of Philosophical Logic 14 (1985), 399-410.","journal-title":"Journal of Philosophical Logic"},{"key":"381857_CR9","doi-asserted-by":"crossref","unstructured":"Pohlers, W., 'Subsystems of set theory and second order number theory', in S. R. Buss (ed.), Handbook of Proof Theory, Elsevier, 1998, pp. 209-335.","DOI":"10.1016\/S0049-237X(98)80019-0"},{"key":"381857_CR10","doi-asserted-by":"crossref","unstructured":"Sch\u00dctte, K., Proof Theory, Springer-Verlag, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"381857_CR11","doi-asserted-by":"crossref","first-page":"1032","DOI":"10.2307\/2275927","volume":"59","author":"M. Sheard","year":"1994","unstructured":"Sheard, M., 'A guide to truth predicates in the modern era', Journal of Symbolic Logic 59 (1994), 1032-1054.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011902222652.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011902222652\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011902222652.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:29:21Z","timestamp":1754630961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011902222652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["381857"],"URL":"https:\/\/doi.org\/10.1023\/a:1011902222652","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}