{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T12:25:17Z","timestamp":1676031917579},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T00:00:00Z","timestamp":1137542400000},"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":[[2006,4]]},"DOI":"10.1007\/s10992-005-9000-0","type":"journal-article","created":{"date-parts":[[2006,1,17]],"date-time":"2006-01-17T15:29:55Z","timestamp":1137511795000},"page":"147-178","source":"Crossref","is-referenced-by-count":12,"title":["Socratic Proofs for Quantifiers\u2605"],"prefix":"10.1007","volume":"35","author":[{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"first","affiliation":[]},{"given":"Vasilyi","family":"Shangin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,1,18]]},"reference":[{"key":"9000_CR1","first-page":"1","volume-title":"Logic: Foundations to Applications","author":"A. Avron","year":"1996","unstructured":"Avron, A. (1996): The method of hypersequents in the proof theory of propositional non-classical logics, in W. Hodges et al. (eds.), Logic: Foundations to Applications, Oxford Science Publications, Clarendon, Oxford, pp. 1\u201332."},{"key":"9000_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-010-0387-2_1","volume-title":"Handbook of Philosophical Logic, 2nd Edition, Volume 8","author":"D. Harrah","year":"2002","unstructured":"Harrah, D. (2002): The logic of questions', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume 8, 2nd edn, Kluwer, Dordrecht\/Boston\/London, pp. 1\u201360."},{"key":"9000_CR3","unstructured":"Leszczy\u0144ska, D. (2004): Socratic proofs for some normal modal propositional logics, Log. Anal. 185\u2013188, 259\u2013285."},{"key":"9000_CR4","first-page":"58","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"Rasiowa, H. and Sikorski, R. (1960): On the Gentzen theorem, Fundam. Math. 48, 58\u201369.","journal-title":"Fundam. Math."},{"key":"9000_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D. J. Shoesmith","year":"1978","unstructured":"Shoesmith, D. J. and Smiley, T. J.: 1978, Multiple-Conclusion Logic, Cambridge University Press, Cambridge."},{"key":"9000_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan, R. (1968): First-Order Logic, Springer, Berlin Heidelberg New York."},{"key":"9000_CR7","unstructured":"Vanackere, G. (2004): Logica en het waardevolle in de wereld. De rol van adaptieve logica's bij de constructie van theorie\u00ebn (Logic and the valuable aspects of the world. The role of adaptive logics in the construction of theories). Ph.D. Dissertation, University of Ghent."},{"issue":"2","key":"9000_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01050342","volume":"23","author":"A. Wi\u015bniewski","year":"1994","unstructured":"Wi\u015bniewski, A. (1994): Erotetic implications. J. Philos. Logic 23(2), 173\u2013195.","journal-title":"J. Philos. Logic"},{"key":"9000_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8406-7","volume-title":"The Posing of Questions: Logical Foundations of Erotetic Inferences","author":"A. Wi\u015bniewski","year":"1995","unstructured":"Wi\u015bniewski, A. (1995): The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer, Dordrecht\/Boston\/London."},{"issue":"2","key":"9000_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00413820","volume":"109","author":"A. Wi\u015bniewski","year":"1996","unstructured":"Wi\u015bniewski, A. (1996): The logic of questions as a theory of erotetic arguments. Synthese 109(2), 1\u201325.","journal-title":"Synthese"},{"key":"9000_CR11","first-page":"5","volume":"173\u2013175","author":"A. Wi\u015bniewski","year":"2001","unstructured":"Wi\u015bniewski, A. (2001): Questions and inferences, Log. Anal. 173\u2013175, 5\u201343.","journal-title":"Log. Anal."},{"key":"9000_CR12","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/B:LOGI.0000031374.60945.6e","volume":"33","author":"A. Wi\u015bniewski","year":"2004","unstructured":"Wi\u015bniewski, A. (2004): Socratic proofs, J. Philos. Logic 33, 299\u2013326.","journal-title":"J. Philos. Logic"},{"key":"9000_CR13","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s11225-005-8477-4","volume":"80","author":"A. Wi\u015bniewski","year":"2005","unstructured":"Wi\u015bniewski, A., Vanackere, G. and Leszczy\u0144ska, D. (2005): Socratic proofs and paraconsistency: a case study, Stud. Log. 80, 433\u2013468.","journal-title":"Stud. Log."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9000-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-9000-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9000-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:47Z","timestamp":1559352587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-9000-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,18]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["9000"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-9000-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,18]]}}}