{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:49Z","timestamp":1725488089572},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_23","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"342-354","source":"Crossref","is-referenced-by-count":0,"title":["On Knowledge, Strings, and Paradoxes"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Kerber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"23_CR1","volume-title":"The Liar \u2014 An Essay on Truth and Circularity","author":"J. Barwise","year":"1986","unstructured":"Jon Barwise and John Etchemendy. The Liar \u2014 An Essay on Truth and Circularity. Oxford University Press, New York, Oxford, 1986."},{"key":"23_CR2","volume-title":"Representation of Commonsense Knowledge","author":"E. Davis","year":"1990","unstructured":"Ernest Davis. Representation of Commonsense Knowledge. Morgan Kaufmann, San Mateo, California, USA, 1990."},{"issue":"17","key":"23_CR3","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2024549","volume":"LXIII","author":"B. C. Fraassen van","year":"1966","unstructured":"Bas C. van Fraassen. Singular terms, truth-value gaps, and free logic. The Journal of Philosophy, LXIII(17):481\u2013495, 1966.","journal-title":"The Journal of Philosophy"},{"volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming \u2014 Volume 1: Logical Foundations","year":"1993","key":"23_CR4","unstructured":"Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming \u2014 Volume 1: Logical Foundations. Oxford University Press, Oxford, UK, 1993."},{"key":"23_CR5","volume-title":"Logical Foundations of Artificial Intelligence","author":"M. R. Genesereth","year":"1987","unstructured":"Michael R. Genesereth and Nils J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, San Mateo, California, USA, 1987."},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gerhard Gentzen. Untersuchungen \u00fcber das logische Schlie\u00dfen I & II. Mathematische Zeitschrift, 39:176\u2013210, 572\u2013595, 1935.","journal-title":"Mathematische Zeitschrift"},{"key":"23_CR7","series-title":"IRST-Technical Report","volume-title":"Getfol manual \u2014 Getfol version 2.0","author":"F. Giunchiglia","year":"1994","unstructured":"Fausto Giunchiglia. Getfol manual \u2014 Getfol version 2.0. IRST-Technical Report 9107-01, IRST, Povo, Trento, Italy, 1994."},{"key":"23_CR8","unstructured":"K. Grelling and L. Nelson. Bemerkungen zu den Paradoxiien von Russell und Burali-Forti. Abhandlungen der Fries\u2019schen Schule, N.F. 2, G\u00f6ttingen, pages 300\u2013334, 1907\/1908."},{"key":"23_CR9","series-title":"LNAI","first-page":"371","volume-title":"Proc. of the 12th CADE","author":"M. Kerber","year":"1994","unstructured":"Manfred Kerber and Michael Kohlhase. A mechanization of strong Kleene logic for partial functions. In Alan Bundy, editor, Proc. of the 12th CADE, pages 371\u2013385, Nancy, France, 1994. Springer Verlag, Berlin, Germany, LNAI 814."},{"key":"23_CR10","first-page":"21","volume":"2","author":"M. Kerber","year":"1996","unstructured":"Manfred Kerber and Michael Kohlhase. A tableau calculus for partial functions. Collegium Logicum \u2014 Annals of the Kurt-G\u00f6del-Society, 2:21\u201349, 1996.","journal-title":"Collegium Logicum \u2014 Annals of the Kurt-G\u00f6del-Society"},{"key":"23_CR11","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3540634932_9","volume-title":"Proc. of the 21st Annual German Conference on Artificial Intelligence, KI-97","author":"M. Kerber","year":"1997","unstructured":"Manfred Kerber and Michael Kohlhase. Mechanising partiality without re-implementation. In Gerhard Brewka, Christopher Habel, and Bernhard Nebel, editors, Proc. of the 21st Annual German Conference on Artificial Intelligence, KI-97, pages 123\u2013134, Freiburg, Germany, 1997. Springer Verlag, Berlin, Germany, LNAI 1303."},{"key":"23_CR12","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Stephen Cole Kleene. Introduction to Metamathematics. Van Nostrand, Amsterdam, The Netherlands, 1952."},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"LXXII","author":"S. Kripke","year":"1975","unstructured":"Saul Kripke. Outline of a theory of truth. The Journal of Philosophy, LXXII:690\u2013716, 1975.","journal-title":"The Journal of Philosophy"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"Donald Perlis. Languages with self-reference I: Foundations (or: We can have everything in first-order logic!). Artificial Intelligence, 25:301\u2013322, 1985.","journal-title":"Artificial Intelligence"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","volume":"34","author":"D. Perlis","year":"1988","unstructured":"Donald Perlis. Languages with self-reference II: Knowledge, belief, and modality. Artificial Intelligence, 34:179\u2013212, 1988.","journal-title":"Artificial Intelligence"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"222","DOI":"10.2307\/2369948","volume":"XXX","author":"B. Russell","year":"1908","unstructured":"Bertrand Russell. Mathematical logic as based on the theory of types. American Journal of Mathematics, XXX:222\u2013262, 1908.","journal-title":"American Journal of Mathematics"},{"key":"23_CR17","first-page":"261","volume":"1","author":"A. Tarski","year":"1936","unstructured":"Alfred Tarski. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia philosophia, 1:261\u2013405, 1936.","journal-title":"Studia philosophia"},{"volume-title":"From Frege to G\u00f6del \u2014 A Source Book in Mathematical Logic, 1879\u20131931","year":"1967","key":"23_CR18","unstructured":"Jean van Heijenoort, editor. From Frege to G\u00f6del \u2014 A Source Book in Mathematical Logic, 1879\u20131931. Havard University Press, Cambridge, Massachusetts, USA, 1967."},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R. W. Weyhrauch","year":"1980","unstructured":"Richard W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13:133\u2013170, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T01:02:29Z","timestamp":1550710949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}