{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T11:34:01Z","timestamp":1769600041557,"version":"3.49.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,3,25]],"date-time":"2004-03-25T00:00:00Z","timestamp":1080172800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1007\/s00153-004-0217-3","type":"journal-article","created":{"date-parts":[[2004,3,24]],"date-time":"2004-03-24T06:55:26Z","timestamp":1080111326000},"page":"557-563","source":"Crossref","is-referenced-by-count":16,"title":["Completeness theorem for propositional probabilistic models whose measures have only finite ranges"],"prefix":"10.1007","volume":"43","author":[{"given":"Radosav","family":"Dordevi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Ra\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,3,25]]},"reference":[{"key":"217_CR1","doi-asserted-by":"crossref","unstructured":"Barwise, K.J.: Admissible sets and structures. Springer-Verlag, Berlin, 1975","DOI":"10.1007\/978-3-662-11035-5"},{"key":"217_CR2","unstructured":"Bhaskara Rao, K.P.S., Bhaskara Rao, M.: Theory of charges. Academic Press, 1983"},{"key":"217_CR3","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"8","author":"Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 8, 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"217_CR4","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"Fagin","year":"2","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM 41 (2), 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"key":"217_CR5","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00370648","volume":"46","author":"Fattorosi-Barnaba","year":"4","unstructured":"Fattorosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations I. Studia Logica 46 (4), 383\u2013393 (1989)","journal-title":"Studia Logica"},{"key":"217_CR6","unstructured":"Keisler, H.J.: Model theory for infinitary logic. North-Holland, Amsterdam, 1971"},{"key":"217_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial Intelligence 28, 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"key":"217_CR8","doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theoretical Computer Science 247 (1\u20132), 191\u2013212 (2000)","DOI":"10.1016\/S0304-3975(98)00341-7"},{"key":"217_CR9","doi-asserted-by":"crossref","first-page":"586","DOI":"10.2307\/2274015","volume":"51","author":"Ra\u0161kovi\u0107","year":"3","unstructured":"Ra\u0161kovi\u0107 , M.: Completeness theorem for biprobability models. J. Symbolic Logic 51 (3), 586\u2013590 (1986)","journal-title":"J. Symbolic Logic"},{"key":"217_CR10","first-page":"1","volume":"53","author":"Ra\u0161kovi\u0107","year":"67","unstructured":"Ra\u0161kovi\u0107 , M.: Classical logic with some probability operators. Publ. Inst. Math. (NS) 53 (67), 1\u20133 (1993)","journal-title":"Publ. Inst. Math. (NS)"},{"key":"217_CR11","first-page":"287","volume":"7","author":"Hoek","year":"3","unstructured":"van der Hoek, W.: Some considerations on the logic P F D: a logic combining modality and probability. Journal of Applied Non-Classical Logics 7 (3), 287\u2013307 (1997)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0217-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-004-0217-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0217-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:39Z","timestamp":1558640199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-004-0217-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3,25]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["217"],"URL":"https:\/\/doi.org\/10.1007\/s00153-004-0217-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3,25]]}}}