{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T12:31:06Z","timestamp":1650371466807},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,10,24]],"date-time":"2009-10-24T00:00:00Z","timestamp":1256342400000},"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":[[2010,4]]},"DOI":"10.1007\/s10992-009-9120-z","type":"journal-article","created":{"date-parts":[[2009,10,23]],"date-time":"2009-10-23T10:09:32Z","timestamp":1256292572000},"page":"159-171","source":"Crossref","is-referenced-by-count":4,"title":["Expressive Power and Incompleteness of Propositional Logics"],"prefix":"10.1007","volume":"39","author":[{"given":"James W.","family":"Garson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,24]]},"reference":[{"issue":"6","key":"9120_CR1","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"N Belnap","year":"1962","unstructured":"Belnap, N. (1962). Tonk, plonk and plink. Analysis, 22(6), 130\u2013134.","journal-title":"Analysis"},{"key":"9120_CR2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF00401554","volume":"49","author":"N Belnap","year":"1990","unstructured":"Belnap, N., & Massey, G. (1990). Semantic holism. Studia Logica, 49, 67\u201382.","journal-title":"Studia Logica"},{"key":"9120_CR3","volume-title":"Modal logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press."},{"key":"9120_CR4","volume-title":"The logic of provability","author":"G Boolos","year":"1993","unstructured":"Boolos, G. (1993). The logic of provability. Cambridge: Cambridge University Press."},{"key":"9120_CR5","volume-title":"Formalization of logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R. (1943). Formalization of logic. Cambridge: Harvard University Press."},{"key":"9120_CR6","first-page":"215","volume-title":"Truth and other enigmas","author":"M Dummett","year":"1978","unstructured":"Dummett, M. (1978). The philosophical basis of intuitionistic logic. In M. Dummett (Ed.), Truth and other enigmas (pp. 215\u2013247). Cambridge: Harvard University Press."},{"issue":"2","key":"9120_CR7","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1111\/j.1755-2567.2001.tb00200.x","volume":"67","author":"J Garson","year":"2001","unstructured":"Garson, J. (2001). Natural semantics: why natural deduction is intuitionistic. Theoria, 67(2), 114\u2013137.","journal-title":"Theoria"},{"key":"9120_CR8","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"I Hacking","year":"1979","unstructured":"Hacking, I. (1979). What is logic? Journal of Philosophy, 76, 285\u2013319.","journal-title":"Journal of Philosophy"},{"key":"9120_CR9","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/S1570-2464(07)80011-5","volume-title":"Handbook of modal logic","author":"M Kracht","year":"2007","unstructured":"Kracht, M. (2007). Modal consequence relations. In P. Blackburn, J. Van Bentham & F. Wolter (Eds.), Handbook of modal logic (pp. 491\u2013545). Oxford: Oxford University Press."},{"key":"9120_CR10","volume-title":"Everything that linguists have always wanted to know about logic","author":"J McCawley","year":"1981","unstructured":"McCawley, J. (1981). Everything that linguists have always wanted to know about logic. Chicago: University of Chicago Press."},{"key":"9120_CR11","volume-title":"Proceedings of the third Scandinavian logic symposium","author":"H Sahlqvist","year":"1975","unstructured":"Sahlqvist, H. (1975). Completeness and correspondence in the first and second order semantics for modal logic, in (1973). In S. Kanger (Ed.), Proceedings of the third Scandinavian logic symposium. Amsterdam: North-Holland."},{"key":"9120_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D. J., & Smiley, T. J. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9120-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-009-9120-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9120-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:49Z","timestamp":1559352589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-009-9120-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,24]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9120"],"URL":"https:\/\/doi.org\/10.1007\/s10992-009-9120-z","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,24]]}}}