{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T02:57:53Z","timestamp":1717556273210},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T00:00:00Z","timestamp":1346803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11225-012-9404-0","type":"journal-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T10:59:53Z","timestamp":1346756393000},"page":"959-986","source":"Crossref","is-referenced-by-count":13,"title":["Socratic Trees"],"prefix":"10.1007","volume":"101","author":[{"given":"Dorota","family":"Leszczy\u0144ska-Jasion","sequence":"first","affiliation":[]},{"given":"Mariusz","family":"Urba\u0144ski","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,5]]},"reference":[{"issue":"2","key":"9404_CR1","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/151261.151264","volume":"40","author":"D. McAllester","year":"1993","unstructured":"McAllester D., Givan R.: Taxonomic syntax for first order inferences. Journal of ACM 40(2), 246\u2013283 (1993)","journal-title":"Journal of ACM"},{"key":"9404_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., The method of hypersequents in the proof theory of propositional non-classical logics, in W. Hodges et\u00a0al. (eds.), Logic: Foundations to Applications, Oxford Science Publications, Clarendon Press, Oxford, 1996, pp. 1\u201332.","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"9404_CR3","volume-title":"Handbook of Proof Theory","year":"1998","unstructured":"Buss, S.R. (ed.): Handbook of Proof Theory. Elsevier, Amsterdam (1998)"},{"key":"9404_CR4","volume-title":"Automated Theorem Prover for CL and CLuN Based on the Method of Socratic Proofs","author":"A. Heeffer","year":"2003","unstructured":"Heeffer A.: Automated Theorem Prover for CL and CLuN Based on the Method of Socratic Proofs. Ghent University, Centre for Logic and Philosophy of Science (2003)"},{"key":"9404_CR5","unstructured":"Leszczy\u0144ska, D., Socratic proofs for some normal modal propositional logics, Logique et Analyse 185\u2013188, 259\u2013285, 2004."},{"key":"9404_CR6","volume-title":"The Method of Socratic Proofs for Normal Modal Propositional Logics","author":"D. Leszczy\u0144ska","year":"2007","unstructured":"Leszczy\u0144ska D.: The Method of Socratic Proofs for Normal Modal Propositional Logics. Adam Mickiewicz University Press, Pozna\u0144 (2007)"},{"issue":"3","key":"9404_CR7","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s11225-008-9134-5","volume":"89","author":"D. Leszczy\u0144ska-Jasion","year":"2008","unstructured":"Leszczy\u0144ska-Jasion D.: The method of socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. Studia Logica 89(3), 371\u2013405 (2008)","journal-title":"Studia Logica"},{"issue":"2","key":"9404_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s10992-008-9089-z","volume":"38","author":"D. Leszczy\u0144ska-Jasion","year":"2009","unstructured":"Leszczy\u0144ska-Jasion D.: A loop-free decision procedure for modal propositional logics K4, S4 and S5. Journal of Philosophical Logic 38(2), 151\u2013177 (2009)","journal-title":"Journal of Philosophical Logic"},{"key":"9404_CR9","unstructured":"Leszczy\u0144ska-Jasion, D., On Determining Modal Sequent Proofs by Socratic Proofs, Research Report, Adam Mickiewicz University, Institute of Psychology, Chair of Logic and Cognitive Science, 2010."},{"key":"9404_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri S., von Plato J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"issue":"4","key":"9404_CR11","doi-asserted-by":"crossref","first-page":"453","DOI":"10.3166\/jancl.15.453-464","volume":"15","author":"T. Skura","year":"2005","unstructured":"Skura T.: Intuitionistic socratic procedures. Journal of Applied Non-Classical Logics 15(4), 453\u2013464 (2005)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9404_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R.M. Smullyan","year":"1968","unstructured":"Smullyan R.M.: First-Order Logic. Springer-Verlag, Berlin (1968)"},{"key":"9404_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"2000","unstructured":"Troelstra A.S., Schwichtenberg H.: Basic Proof Theory (2nd ed.). Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"9404_CR14","unstructured":"Urba\u0144ski, M., Socratic Proofs for Some Temporal Logics, Research Report, Adam Mickiewicz University, Institute of Psychology, Chair of Logic and Cognitive Science, 2005."},{"issue":"2","key":"9404_CR15","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01050342","volume":"23","author":"A. Wi\u015bniewski","year":"1994","unstructured":"Wi\u015bniewski A.: Erotetic implications. Journal of Philosophical Logic 23(2), 174\u2013195 (1994)","journal-title":"Journal of Philosophical Logic"},{"key":"9404_CR16","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.: The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer Academic Publishers, Dordrecht\/Boston\/London (1995)"},{"issue":"2","key":"9404_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00413820","volume":"109","author":"A. Wi\u015bniewski","year":"1996","unstructured":"Wi\u015bniewski A.: The logic of questions as a theory of erotetic arguments. Synthese 109(2), 1\u201325 (1996)","journal-title":"Synthese"},{"key":"9404_CR18","first-page":"5","volume":"173\u2013175","author":"A. Wi\u015bniewski","year":"2001","unstructured":"Wi\u015bniewski A.: Questions and inferences. Logique et Analyse 173\u2013175, 5\u201343 (2001)","journal-title":"Logique et Analyse"},{"issue":"3","key":"9404_CR19","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.: Socratic proofs. Journal of Philosophical Logic 33(3), 299\u2013326 (2004)","journal-title":"Journal of Philosophical Logic"},{"issue":"2\u20133","key":"9404_CR20","first-page":"433","volume":"80","author":"A. Wi\u015bniewski","year":"2005","unstructured":"Wi\u015bniewski A., Vanackere G., Leszczy\u0144ska D.: Socratic proofs and paraconsistency: a case study. Studia Logica 80(2\u20133), 433\u2013468 (2005)","journal-title":"Studia Logica"},{"issue":"2","key":"9404_CR21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/s10992-005-9000-0","volume":"35","author":"A. Wi\u015bniewski","year":"2006","unstructured":"Wi\u015bniewski A., Shangin V.: Socratic proofs for quantifiers. Journal of Philosophical Logic 35(2), 147\u2013178 (2006)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9404-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9404-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9404-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T22:31:02Z","timestamp":1714343462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9404-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,5]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["9404"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9404-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,5]]}}}