{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,19]],"date-time":"2023-03-19T01:33:37Z","timestamp":1679189617323},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,6,17]],"date-time":"2008-06-17T00:00:00Z","timestamp":1213660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s10992-007-9071-1","type":"journal-article","created":{"date-parts":[[2008,6,16]],"date-time":"2008-06-16T11:01:10Z","timestamp":1213614070000},"page":"407-440","source":"Crossref","is-referenced-by-count":2,"title":["SUPERVALUATION FIXED-POINT LOGICS OF TRUTH"],"prefix":"10.1007","volume":"37","author":[{"given":"Philip","family":"Kremer","sequence":"first","affiliation":[]},{"given":"Alasdair","family":"Urquhart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,17]]},"reference":[{"key":"9071_CR1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF00258432","volume":"8","author":"L. Davis","year":"1979","unstructured":"Davis, L.: 1979, An alternate formulation of Kripke\u2019s theory of truth, Journal of Philosophical Logic 8, 289\u2013296.","journal-title":"Journal of Philosophical Logic"},{"key":"9071_CR2","doi-asserted-by":"crossref","first-page":"590","DOI":"10.2307\/2025911","volume":"74","author":"D. Grover","year":"1977","unstructured":"Grover, D.: 1977, Inheritors and paradox, Journal of Philosophy 74, 590\u2013604.","journal-title":"Journal of Philosophy"},{"key":"9071_CR3","doi-asserted-by":"crossref","unstructured":"Haack, S.: (1978). Philosophy of logics. Cambridge University Press.","DOI":"10.1017\/CBO9780511812866"},{"key":"9071_CR4","first-page":"57","volume":"VIII","author":"K. Jaakko","year":"1955","unstructured":"Hintikka, K. Jaakko, J.: 1955, Reductions in the theory of types, Acta Philosophica Fennica VIII, 57\u2013115 Fasc.","journal-title":"Acta Philosophica Fennica"},{"key":"9071_CR5","unstructured":"Kirkham, R.: (1992). Theories of truth: A critical introduction. MIT Press."},{"key":"9071_CR6","unstructured":"Kremer, M. (1986). Logic and truth, Ph.D. dissertation, University of Pittsburgh."},{"key":"9071_CR7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00247954","volume":"17,","author":"M. Kremer","year":"1988","unstructured":"Kremer, M.: 1988, Kripke and the logic of truth, Journal of Philosophical Logic 17, 225\u2013278.","journal-title":"Journal of Philosophical Logic"},{"key":"9071_CR8","doi-asserted-by":"crossref","unstructured":"Kremer, P., & Kremer, M.: (2003). On some supervaluation-based consequence relations. forthcoming in the Journal of Philosophical Logic.","DOI":"10.1023\/A:1024240422978"},{"key":"9071_CR9","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: 1975, Outline of a theory of truth, Journal of Philosophy 72, 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"9071_CR10","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1111\/j.1755-2567.1984.tb01129.x","volume":"50","author":"F. Kroon","year":"1984","unstructured":"Kroon, F.: 1984, Steinus on the paradoxes, Theoria 50, 178\u2013211.","journal-title":"Theoria"},{"key":"9071_CR11","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02379018","volume":"5","author":"R. L. Martin","year":"1975","unstructured":"Martin, R. L., and Woodruff, P. W.: 1975, On representing \u2018True-in-L\u2019 in L, Philosophia 5, 217\u2013221.","journal-title":"Philosophia"},{"key":"9071_CR12","unstructured":"McGee, V.: (1991). Truth, vagueness and paradox. Hackett Publishing Company."},{"key":"9071_CR13","unstructured":"Montague, R.: (1965). Reductions of higher-order logic. in Symposium on the theory of models; proceedings of the 1963 international symposium at Berkeley, 251\u2013264, North Holland."},{"key":"9071_CR14","unstructured":"Moschovakis, Y.: (1974). Elementary induction on abstract structures. North-Holland."},{"key":"9071_CR15","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF00453019","volume":"13","author":"T. Parsons","year":"1984","unstructured":"Parsons, T.: 1984, Assertion, denial and the liar paradox, Journal of Philosophical Logic 13, 137\u2013152.","journal-title":"Journal of Philosophical Logic"},{"key":"9071_CR16","unstructured":"Read, S.: (1994). Thinking about logic: An introduction to the philosophy of logic. Oxford University Press."},{"key":"9071_CR17","doi-asserted-by":"crossref","unstructured":"Scott, D.: (1975). Combinators and classes. in \u03bb-calculus and computer science theory (Lecture Notes in Computer Science, volume 37), Springer-Verlag, 1\u201326.","DOI":"10.1007\/BFb0029517"},{"key":"9071_CR18","doi-asserted-by":"crossref","first-page":"943","DOI":"10.2307\/2274148","volume":"49","author":"P. Woodruff","year":"1984","unstructured":"Woodruff, P.: 1984, On supervaluations in free logic, Journal of Symbolic Logic 49, 943\u2013950.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9071-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-007-9071-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9071-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:48Z","timestamp":1559352588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-007-9071-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,17]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["9071"],"URL":"https:\/\/doi.org\/10.1007\/s10992-007-9071-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,17]]}}}