{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T22:57:10Z","timestamp":1770332230361,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540926863","type":"print"},{"value":"9783540926870","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_30","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T04:25:38Z","timestamp":1234239938000},"page":"441-450","source":"Crossref","is-referenced-by-count":2,"title":["Decidability and Undecidability in Probability Logic"],"prefix":"10.1007","author":[{"given":"Sebastiaan A.","family":"Terwijn","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Model-theoretic logics","year":"1985","unstructured":"Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Springer, Heidelberg (1985)"},{"key":"30_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The classical decision problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The classical decision problem. Springer, Heidelberg (1997)"},{"key":"30_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0877-8","volume-title":"Measure theory","author":"J.L. Doob","year":"1994","unstructured":"Doob, J.L.: Measure theory. Springer, Heidelberg (1994)"},{"issue":"2","key":"30_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s11229-004-6153-2","volume":"144","author":"M. Jaeger","year":"2005","unstructured":"Jaeger, M.: A logic for inductive probabilistic reasoning. Synthese\u00a0144(2), 181\u2013248 (2005)","journal-title":"Synthese"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Keisler, H.J.: Probability quantifiers. In: [1], pp. 509\u2013556","DOI":"10.1017\/9781316717158.021"},{"key":"30_CR6","unstructured":"Probability logic papers, database, \n                  \n                    http:\/\/problog.mi.sanu.ac.yu\/index.html"},{"issue":"4","key":"30_CR7","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1093\/logcom\/exi032","volume":"15","author":"S.A. Terwijn","year":"2005","unstructured":"Terwijn, S.A.: Probabilistic logic and induction. Journal of Logic and Computation\u00a015(4), 507\u2013515 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"30_CR8","unstructured":"Terwijn, S.A.: Model-theoretic aspects of probability logic (in preparation)"},{"key":"30_CR9","first-page":"572","volume":"70","author":"B. Trakhtenbrot","year":"1950","unstructured":"Trakhtenbrot, B.: The impossibility of an algorithm for the decision problem for finite models. Dokl. Akad. Nauk SSSR\u00a070, 572\u2013596 (1950); English translation in AMS Transl. Ser. 2, 1\u20136 (1963)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0004-3702(00)00002-3","volume":"117","author":"L.G. Valiant","year":"2000","unstructured":"Valiant, L.G.: Robust logics. Artificial Intelligence\u00a0117, 231\u2013253 (2000)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T03:20:33Z","timestamp":1551756033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}