{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T02:18:18Z","timestamp":1692670698524},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T00:00:00Z","timestamp":1372896000000},"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":[[2014,10]]},"DOI":"10.1007\/s10992-013-9293-3","type":"journal-article","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T03:05:00Z","timestamp":1372820700000},"page":"867-878","source":"Crossref","is-referenced-by-count":3,"title":["The One-Variable Fragment of T\u2192"],"prefix":"10.1007","volume":"43","author":[{"given":"John","family":"Slaney","sequence":"first","affiliation":[]},{"given":"Edward","family":"Walker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,4]]},"reference":[{"key":"9293_CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.2307\/2963676","volume":"27","author":"AR Anderson","year":"1962","unstructured":"Anderson, A.R., & Belnap, N.D. (1962). The pure calculus of entailment. Journal of Symbolic Logic, 27, 19\u201352.","journal-title":"Journal of Symbolic Logic"},{"key":"9293_CR2","volume-title":"Entailment: The logic of relevance and necessity (Vol. 1)","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., & Belnap, N.D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton: Princeton University Press."},{"key":"9293_CR3","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BF02109437","volume":"5","author":"M Byrd","year":"1976","unstructured":"Byrd, M. (1976). Single variable formulas in S4\u2192. Journal of Philosophical Logic, 5, 439\u2013456.","journal-title":"Journal of Philosophical Logic"},{"key":"9293_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"9293_CR5","first-page":"65","volume":"43","author":"T Kowalski","year":"2008","unstructured":"Kowalski, T., & Slaney, J. (2008). A finite fragment of S3. Reports on Mathematical Logic, 43, 65\u201372.","journal-title":"Reports on Mathematical Logic"},{"key":"9293_CR6","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19700160703","volume":"16","author":"RK Meyer","year":"1970","unstructured":"Meyer, R.K. (1970). RI\u2014The bounds of finitude. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 16, 385\u2013387.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9293_CR7","first-page":"407","volume":"15","author":"RK Meyer","year":"1972","unstructured":"Meyer, R.K., & Routley, F.R. (1972). The algebraic analysis of entailment I. Logique et Analyse, 15, 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"9293_CR8","unstructured":"Sylvan, F.R., & Brady, R.T. (2003). Relevant logics and their rivals (Vol. II). Aldershot: Ashgate."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9293-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9293-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9293-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:51Z","timestamp":1559338191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9293-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,4]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9293"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9293-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,4]]}}}