{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:46:39Z","timestamp":1725900399500},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142864"},{"type":"electronic","value":"9783642142871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14287-1_20","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T03:41:56Z","timestamp":1284954116000},"page":"193-202","source":"Crossref","is-referenced-by-count":2,"title":["Logical Consequence Inside Out"],"prefix":"10.1007","author":[{"given":"Denis","family":"Bonnay","sequence":"first","affiliation":[]},{"given":"Dag","family":"Westerst\u00e5hl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"3","volume-title":"Situation Theory and its Applications","author":"P. Aczel","year":"1990","unstructured":"Aczel, P.: Replacement systems and the axiomatization of situation theory. In: Cooper, R., Mukai, K., Perry, J. (eds.) Situation Theory and its Applications, vol.\u00a01, pp. 3\u201333. CSLI Publications, Stanford (1990)"},{"key":"20_CR2","series-title":"Mathematik und Physik Bd","first-page":"11","volume-title":"Bernard Bolzanos Leistungen in Logik","author":"J. Benthem van","year":"2003","unstructured":"van Benthem, J.: Is there still logic in Bolzano\u2019s key? In: Morscher, E. (ed.) Bernard Bolzanos Leistungen in Logik. Mathematik und Physik Bd, vol.\u00a016, pp. 11\u201334. Academia Verlag, Sankt Augustin (2003)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2214704","volume":"4","author":"M. Dunn","year":"1968","unstructured":"Dunn, M., Belnap Jr., N.: The substitution interpretation of the quantifiers. No\u00fbs\u00a04, 177\u2013185 (1968)","journal-title":"No\u00fbs"},{"key":"20_CR4","volume-title":"Quantifiers in Language and Logic","author":"S. Peters","year":"2006","unstructured":"Peters, S., Westerst\u00e5hl, D.: Quantifiers in Language and Logic. Oxford UP, Oxford (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Meaning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14287-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T20:51:29Z","timestamp":1553115089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14287-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142864","9783642142871"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14287-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}