{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T15:25:01Z","timestamp":1648653901528},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"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":[[1991,8]]},"DOI":"10.1007\/bf00250543","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T10:18:35Z","timestamp":1096971515000},"page":"315-326","source":"Crossref","is-referenced-by-count":1,"title":["Conditionals, quantification, and strong mathematical induction"],"prefix":"10.1007","volume":"20","author":[{"given":"Daniel H.","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A. R. Anderson and N. D. Belnap, Jr., Entailment, Vol. 1, Princeton University Press, 1975."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/S0049-237X(08)71533-7","volume-title":"Truth, Syntax and Modality","author":"N. D. Belnap Jr.","year":"1973","unstructured":"N. D. Belnap Jr., ?Conditional Assertion and Restricted Quantification,? in Truth, Syntax and Modality, H. Leblanc, ed., North-Holland Publishing Co., Amsterdam, 1973, pp. 48?75."},{"key":"CR3","unstructured":"D. H. Cohen, ?Relevant Implication and Conditional Assertion?, in Entailment, Vol. II, N. D. Belnap, Jr. and J. M. Dunn, eds., Princeton University Press, 1990."},{"issue":"1","key":"CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1305\/ndjfl\/1093637773","volume":"29","author":"D. H. Cohen","year":"1988","unstructured":"D. H. Cohen, ?The Problem of Counterpossibles,? Notre Dame Journal of Formal Logic 29 (1), 1988, pp. 91?101.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1305\/ndjfl\/1093636531","volume":"27","author":"G. H. Cohen","year":"1986","unstructured":"G. H. Cohen, ?A New Axiomatization of Belnap's Conditional Assertion,? Notre Dame Journal of Formal Logic 27 (1), 1986, pp. 124?132.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00558756","volume":"4","author":"J. M. Dunn","year":"1975","unstructured":"J. M. Dunn, ?Axiomatizing Belnap's Conditional Assertion,? Journal of Philosophical Logic 4, 1975, pp. 383?397.","journal-title":"Journal of Philosophical Logic"},{"key":"CR7","first-page":"408","volume":"38","author":"J. M. Dunn","year":"1979","unstructured":"J. M. Dunn, ?Relevant Robinson's Arithmetic,? Studia Logica 38, 1979, pp. 408?417.","journal-title":"Studia Logica"},{"key":"CR8","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis, Counterfactuals, Harvard University Press, Cambridge, 1973."},{"key":"CR9","first-page":"133","volume":"5","author":"R. K. Meyer","year":"1976","unstructured":"R. K. Meyer, ?Relevant Arithmetic,? Bulletin of the Section of Logic 5, 1976, pp. 133?137.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR10","volume-title":"Truth, Syntax and Modality","author":"R. Routley","year":"1973","unstructured":"R. Routley and R. K. Meyer, ?The Semantics of Entailment-I?, in Truth, Syntax and Modality, H. Leblanc, ed., North-Holland Publishing Co., Amsterdam, 1973."},{"key":"CR11","volume-title":"Symbolic Logic: An Introduction","author":"R. H. Thomason","year":"1970","unstructured":"R. H. Thomason, Symbolic Logic: An Introduction, Macmillan Company, Toronto, 1970."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-94-010-1756-5_3","volume-title":"Contemporary Readings in Philosophical Logic and Linguistic Semantics","author":"B. C. Fraassen van","year":"1975","unstructured":"B. C. van Fraassen, ?Incomplete Assertion and Belnap Connectives?, in Contemporary Readings in Philosophical Logic and Linguistic Semantics, Hockney et al., eds., D. Reidel, Dordrecht, 1975, pp. 43?70."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250543.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00250543\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:56:22Z","timestamp":1554306982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00250543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF00250543"],"URL":"https:\/\/doi.org\/10.1007\/bf00250543","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}