{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:43:49Z","timestamp":1728175429141},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,7,12]],"date-time":"2013-07-12T00:00:00Z","timestamp":1373587200000},"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":[[2014,8]]},"DOI":"10.1007\/s10992-013-9289-z","type":"journal-article","created":{"date-parts":[[2013,7,11]],"date-time":"2013-07-11T08:56:46Z","timestamp":1373533006000},"page":"785-801","source":"Crossref","is-referenced-by-count":29,"title":["First-Order Dialogical Games and Tableaux"],"prefix":"10.1007","volume":"43","author":[{"given":"Nicolas","family":"Clerbout","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,12]]},"reference":[{"key":"9289_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0168-0072(85)90016-8","volume":"28","author":"W Felscher","year":"1985","unstructured":"Felscher, W. (1985). Dialogues, strategies, and intuitionistic provability. Annals of Pure and Applied Logic, 28, 217\u2013254.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9289_CR2","first-page":"341","volume-title":"Handbook of philosophical logic. Volume 3: Alternatives in classical logic. Vol. 166 of studies in epistemology, logic, methodology, and philosophy of science","author":"W Felscher","year":"1985","unstructured":"Felscher, W. (1985). Dialogues as a foundation for intuitionistic logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic. Volume 3: Alternatives in classical logic. Vol. 166 of studies in epistemology, logic, methodology, and philosophy of science (pp. 341\u2013372). Dordrecht\/Hingham: Kluwer."},{"key":"9289_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-order logic and automated theorem proving","author":"M Fitting","year":"1990","unstructured":"Fitting, M. (1990). First-order logic and automated theorem proving, Second Edition in 1996. New York: Springer-Verlag.","edition":"Second Edition"},{"key":"9289_CR4","first-page":"245","volume-title":"Contributions to the theory of games, volume II. Vol. 28 of Annals of mathematics studies","author":"D Gale","year":"1953","unstructured":"Gale, D., & Stewart, F. (1953). Infinite games with perfect information. In H.W. Kuhn, & A.W. Tucker (Eds.) , Contributions to the theory of games, volume II. Vol. 28 of Annals of mathematics studies (pp. 245\u2013266). Princeton: Princeton University Press."},{"key":"9289_CR5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF00485598","volume":"63","author":"EC Krabbe","year":"1985","unstructured":"Krabbe, E.C. (1985). Formal systems of dialogue pules. Synthese, 63, 295\u2013328.","journal-title":"Synthese"},{"key":"9289_CR6","first-page":"125","volume-title":"Handbook of tableau methods","author":"R Letz","year":"1998","unstructured":"Letz, R. (1998). First-order tableau methods. In M. D\u2019Agostino, D. Gabbay, R. H\u00e4hnle, J. Posegga (Eds.), Handbook of tableau methods (pp. 125\u2013196). Dordrecht: Kluwer-Springer."},{"key":"9289_CR7","doi-asserted-by":"crossref","unstructured":"Lorenz, K. (1968). Dialogspiele als semantische Grundlage von Logikkalk\u00fclen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 11, 32\u201355 and 73\u2013100. Reprinted in [9].","DOI":"10.1007\/BF01973341"},{"key":"9289_CR8","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1023\/A:1010367416884","volume":"127","author":"K Lorenz","year":"2001","unstructured":"Lorenz, K. (2001). Basic objectives of dialogue logic in historical perspective. Synthese, 127, 255\u2013263.","journal-title":"Synthese"},{"key":"9289_CR9","volume-title":"Dialogische Logik","author":"P Lorenzen","year":"1978","unstructured":"Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Wissenschaftliche Buchgesellschaft: Darmstadt."},{"key":"9289_CR10","first-page":"301","volume-title":"Acts of knowledge\u2014history, philosophy and logic","author":"S Rahman","year":"2009","unstructured":"Rahman, S., Clerbout, N., Keiff, L. (2009). On dialogues and natural deduction. In G. Primiero, & S. Rahman (Eds.), Acts of knowledge\u2014history, philosophy and logic (pp. 301\u2013336). London: College Publications."},{"key":"9289_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/1-4020-3167-X_17","volume-title":"Logic, thought and action","author":"S Rahman","year":"2005","unstructured":"Rahman, S., & Keiff, L. (2005). On how to be a dialogician. In D. Vanderveken (Ed.), Logic, thought and action (pp. 359\u2013408). New-York: Springer."},{"key":"9289_CR12","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. New York: Springer Verlag."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9289-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9289-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9289-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:51Z","timestamp":1559352591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9289-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["9289"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9289-z","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,12]]}}}