{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:02Z","timestamp":1752149402966,"version":"3.41.2"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","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":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1023\/a:1017569601150","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T17:59:26Z","timestamp":1041184766000},"page":"259-265","source":"Crossref","is-referenced-by-count":10,"title":["No Future"],"prefix":"10.1007","volume":"30","author":[{"given":"Leon","family":"Horsten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Leitgeb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"323747_CR1","volume-title":"Computability and Logic","author":"G. Boolos","year":"1989","unstructured":"Boolos, G. and Jeffrey, R.: Computability and Logic, 3rd edn, Cambridge University Press, Cambridge, 1989.","edition":"3rd edn"},{"key":"323747_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"J. Burgess","year":"1984","unstructured":"Burgess, J.: Basic tense logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, 1984, pp. 89\u2013133."},{"key":"323747_CR3","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 Sheard, M.: An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic 33 (1987), 1\u201321.","journal-title":"Ann. Pure Appl. Logic"},{"key":"323747_CR4","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","volume":"1","author":"D. Kaplan","year":"1960","unstructured":"Kaplan, D. and Montague, R.: A paradox regained, Notre Dame J. Formal Logic 1 (1960), 79\u201390.","journal-title":"Notre Dame J. Formal Logic"},{"key":"323747_CR5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00649483","volume":"14","author":"V. McGee","year":"1985","unstructured":"McGee, V.: How truthlike can a predicate be? A negative result, J. Philos. Logic 14 (1985), 399\u2013410.","journal-title":"J. Philos. Logic"},{"key":"323747_CR6","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"Montague, R.: Syntactic treatments of modality with corollaries on reflexion principles and finite axiomatizability, Acta Philos. Fennica 16 (1963), 153\u2013167.","journal-title":"Acta Philos. Fennica"},{"key":"323747_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A.: Past, Present and Future, Oxford University Press, London, 1967."},{"key":"323747_CR8","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, J. Symbolic Logic 59 (1994), 1032\u20131054.","journal-title":"J. Symbolic Logic"},{"key":"323747_CR9","first-page":"261","volume":"1","author":"A. Tarski","year":"1935","unstructured":"Tarski, A.: DerWahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica 1 (1935), 261\u2013405.","journal-title":"Studia Philosophica"},{"key":"323747_CR10","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","volume":"44","author":"R. Thomason","year":"1980","unstructured":"Thomason, R.: A note on syntactical treatments of modality, Synthese 44 (1980), 391\u2013395.","journal-title":"Synthese"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017569601150.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017569601150\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1017569601150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017569601150.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:42:51Z","timestamp":1752147771000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017569601150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["323747"],"URL":"https:\/\/doi.org\/10.1023\/a:1017569601150","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}