{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T05:32:56Z","timestamp":1734499976488,"version":"3.30.2"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2004,6]]},"DOI":"10.1023\/b:logi.0000031374.60945.6e","type":"journal-article","created":{"date-parts":[[2004,6,11]],"date-time":"2004-06-11T03:18:33Z","timestamp":1086923913000},"page":"299-326","source":"Crossref","is-referenced-by-count":21,"title":["Socratic Proofs"],"prefix":"10.1007","volume":"33","author":[{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5265524_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 nonclassical logics, in W. Hodges et al. (eds.), Logic: Foundations to Applications, Oxford Science Publications, Clarendon Press, Oxford, pp. 1-32."},{"key":"5265524_CR2","first-page":"113","volume":"173\u2013175","author":"D. Batens","year":"2001","unstructured":"Batens, D. and Provijn, D. (2001) Pushing the search paths in the proofs. A study in proof heuristics, Logique et Analyse 173\u2013175, 113-134.","journal-title":"Logique et Analyse"},{"key":"5265524_CR3","volume-title":"Formal Methods","author":"E. M. Beth","year":"1962","unstructured":"Beth, E. M. (1962) Formal Methods, D. Reidel, Dordrecht."},{"key":"5265524_CR4","first-page":"181","volume-title":"Handbook of Automated Reasoning","author":"A. Degtyarev","year":"2001","unstructured":"Degtyarev, A. and Voronkov, A. (2001) The inverse method, in A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning, Vol. 1, Elsevier, Amsterdam, pp. 181-269."},{"key":"5265524_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1713-7","volume-title":"Goal-Directed Proof Theory","author":"D. Gabbay","year":"2000","unstructured":"Gabbay, D. and Olivetti, N. (2000) Goal-Directed Proof Theory, Kluwer Academic Publishers, Dordrecht."},{"key":"5265524_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-010-0387-2_1","volume-title":"Handbook of Philosophical Logic","author":"D. Harrah","year":"2002","unstructured":"Harrah, D. (2002) The logic of questions, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 8, 2nd edn, Kluwer Academic Piublishers, Dordrecht, pp. 1-60.","edition":"2nd edn"},{"key":"5265524_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9313-7","volume-title":"Inquiry as Inquiry: A Logic of Scientific Discovery","author":"J. Hintikka","year":"1999","unstructured":"Hintikka, J. (1999) Inquiry as Inquiry: A Logic of Scientific Discovery, Kluwer Academic Publishers, Dordrecht."},{"key":"5265524_CR8","doi-asserted-by":"crossref","unstructured":"Hodges, W. (2001) Elementary predicate logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 1, 2nd edn, pp. 1-129.","DOI":"10.1007\/978-94-015-9833-0_1"},{"key":"5265524_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9783112699928","volume-title":"An Outline of the Logical Theory of Questions","author":"T. Kubi\u0144ski","year":"1980","unstructured":"Kubi\u0144ski, T. (1980) An Outline of the Logical Theory of Questions, Akademie-Verlag, Berlin."},{"key":"5265524_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri, S. and von Plato, J. (2001) Structural Proof Theory, Cambridge University Press, Cambridge."},{"key":"5265524_CR11","first-page":"58","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"Rasiowa, H. and Sikorski, R. (1960) On the Gentzen theorem, Fund. Math. 48, 58-69.","journal-title":"Fund. Math."},{"key":"5265524_CR12","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":"5265524_CR13","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, New York."},{"key":"5265524_CR14","doi-asserted-by":"crossref","unstructured":"Sundholm, G. (2001) Systems of deduction, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, 2nd edn, pp. 1-52.","DOI":"10.1007\/978-94-017-0452-6_1"},{"issue":"4","key":"5265524_CR15","first-page":"194","volume":"30","author":"M. Urba\u0144ski","year":"2001","unstructured":"Urba\u0144ski, M. (2001) Remarks on synthetic tableaux for classical propositional calculus, Bull. Section of Logic 30(4), 194-204.","journal-title":"Bull. Section of Logic"},{"issue":"2","key":"5265524_CR16","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-195.","journal-title":"J. Philos. Logic"},{"key":"5265524_CR17","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 Academic Publishers, Dordrecht."},{"issue":"2","key":"5265524_CR18","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-25.","journal-title":"Synthese"},{"key":"5265524_CR19","first-page":"5","volume":"173\u2013175","author":"A. Wi\u015bniewski","year":"2001","unstructured":"Wi\u015bniewski, A. (2001) Questions and inferences, Logique et Analyse 173\u2013175, 5-43.","journal-title":"Logique et Analyse"},{"issue":"3","key":"5265524_CR20","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1023\/A:1022983325118","volume":"134","author":"A. Wi\u015bniewski","year":"2003","unstructured":"Wi\u015bniewski, A. (2003) Erotetic search scenarios, Synthese 134(3), 389-427.","journal-title":"Synthese"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/B:LOGI.0000031374.60945.6e","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,17]],"date-time":"2024-12-17T14:52:38Z","timestamp":1734447158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1023\/B:LOGI.0000031374.60945.6e"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["5265524"],"URL":"https:\/\/doi.org\/10.1023\/b:logi.0000031374.60945.6e","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}