{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:41Z","timestamp":1740099041319,"version":"3.37.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900490"},{"type":"electronic","value":"9783319900506"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90050-6_10","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T12:33:32Z","timestamp":1523968412000},"page":"170-185","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Decidable Multi-agent Logic with\u00a0Iterations of Upper and Lower Probability Operators"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Doder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Savi\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":[[2018,4,18]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1049","volume":"112","author":"M Abadi","year":"1994","unstructured":"Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Inf. Comput. 112, 1\u201336 (1994)","journal-title":"Inf. Comput."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00532649","volume":"68","author":"B Anger","year":"1985","unstructured":"Anger, B., Lembcke, J.: Infinitely subadditive capacities as upper envelopes of measures. Zeitschrift fur Wahrscheinlichkeitstheorie und Verwandte Gebiete 68, 403\u2013414 (1985)","journal-title":"Zeitschrift fur Wahrscheinlichkeitstheorie und Verwandte Gebiete"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-662-44145-9_9","volume-title":"Logic, Language, Information, and Computation","author":"P Cintula","year":"2014","unstructured":"Cintula, P., Noguera, C.: Modal logics of uncertainty with two-layer syntax: a general completeness theorem. In: Kohlenbach, U., Barcel\u00f3, P., de Queiroz, R. (eds.) WoLLIC 2014. LNCS, vol. 8652, pp. 124\u2013136. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44145-9_9"},{"issue":"11","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1400","DOI":"10.1016\/j.artint.2008.03.001","volume":"172","author":"G Cooman de","year":"2008","unstructured":"de Cooman, G., Hermans, F.: Imprecise probability trees: bridging two theories of imprecise probability. Artif. Intell. 172(11), 1400\u20131427 (2008)","journal-title":"Artif. Intell."},{"key":"10_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory","author":"D Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Possibility Theory. Plenum Press, New York (1988)"},{"issue":"1\u20132","key":"10_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1\u20132), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM 41(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00370648","volume":"46","author":"M Fattorosi-Barnaba","year":"1989","unstructured":"Fattorosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations I. Stud. Log. 46(4), 383\u2013393 (1989)","journal-title":"Stud. Log."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A Frish","year":"1994","unstructured":"Frish, A., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell. 69, 93\u2013122 (1994)","journal-title":"Artif. Intell."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-94-009-2863-3_11","volume-title":"Causation, Chance and Credence. Proceedings of the Irvine Conference on Probability and Causation","author":"H Gaifman","year":"1988","unstructured":"Gaifman, H., Haddawy, P.: A theory of higher order probabilities. In: Skyrms, B., Harper, W.L. (eds.) Causation, Chance and Credence. Proceedings of the Irvine Conference on Probability and Causation, vol. 1, pp. 191\u2013219. Springer, Dordrecht (1988)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46, 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.1838","volume":"1","author":"JY Halpern","year":"2006","unstructured":"Halpern, J.Y., Pucella, R.: A logic for reasoning about evidence. J. Artif. Intell. Res. 1, 1\u201334 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1613\/jair.985","volume":"17","author":"JY Halpern","year":"2002","unstructured":"Halpern, J.Y., Pucella, R.: A logic for reasoning about upper probabilities. J. Artif. Intell. Res. 17, 57\u201381 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/0471725250","volume-title":"Robust Statistics","author":"PJ Huber","year":"1981","unstructured":"Huber, P.J.: Robust Statistics. Wiley, New York (1981)"},{"key":"10_CR15","volume-title":"A Companion to Modal Logic","author":"GE Hughes","year":"1984","unstructured":"Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Methuen, London (1984)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games Econ. Behav. 35, 31\u201353 (2001)","journal-title":"Games Econ. Behav."},{"issue":"9","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1830","DOI":"10.1016\/j.ijar.2014.03.006","volume":"55","author":"N Ikodinovi\u0107","year":"2014","unstructured":"Ikodinovi\u0107, N., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Perovi\u0107, A.: Hierarchies of probabilistic logics. Int. J. Approx. Reason. 55(9), 1830\u20131842 (2014)","journal-title":"Int. J. Approx. Reason."},{"issue":"4","key":"10_CR18","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/jzt048","volume":"22","author":"N Ikodinovi\u0107","year":"2014","unstructured":"Ikodinovi\u0107, N., Ra\u0161kovi\u0107, M., Markovi\u0107, Z., Ognjanovi\u0107, Z.: A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22(4), 539\u2013564 (2014)","journal-title":"Log. J. IGPL"},{"issue":"109","key":"10_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2298\/PIM1409073I","volume":"95","author":"A Ili\u0107-Stepi\u0107","year":"2014","unstructured":"Ili\u0107-Stepi\u0107, A., Ognjanovi\u0107, Z.: Complex valued probability logics. Publications de l\u2019Institut Mathematique, N.s. tome 95(109), 73\u201386 (2014)","journal-title":"Publications de l\u2019Institut Mathematique, N.s. tome"},{"issue":"9","key":"10_CR20","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.ijar.2014.02.001","volume":"55","author":"A Ili\u0107-Stepi\u0107","year":"2014","unstructured":"Ili\u0107-Stepi\u0107, A., Ognjanovi\u0107, Z., Ikodinovi\u0107, N.: Conditional p-adic probability logic. Int. J. Approx. Reason. 55(9), 1843\u20131865 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"10_CR21","unstructured":"Kokkinis, I.: The complexity of satisfiability in non-iterated and iterated probabilistic logics. arXiv:1712.00810v1"},{"key":"10_CR22","volume-title":"Probability and the Logic of Rational Belief","author":"HE Kyburg","year":"1961","unstructured":"Kyburg, H.E.: Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown (1961)"},{"key":"10_CR23","volume-title":"The Enterprise of Knowledge","author":"I Levi","year":"1980","unstructured":"Levi, I.: The Enterprise of Knowledge. MIT Press, London (1980)"},{"issue":"4","key":"10_CR24","doi-asserted-by":"publisher","first-page":"455","DOI":"10.4153\/CJM-1952-041-4","volume":"4","author":"GG Lorentz","year":"1952","unstructured":"Lorentz, G.G.: Multiply subadditive functions. Can. J. Math. 4(4), 455\u2013462 (1952)","journal-title":"Can. J. Math."},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11856-012-0046-8","volume":"192","author":"M Meier","year":"2012","unstructured":"Meier, M.: An infinitary probability logic for type spaces. Isr. J. Math. 192(1), 1\u201358 (2012)","journal-title":"Isr. J. Math."},{"issue":"2","key":"10_CR26","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1016\/j.ijar.2007.12.001","volume":"48","author":"E Miranda","year":"2008","unstructured":"Miranda, E.: A survey of the theory of coherent lower previsions. Int. J. Approx. Reas. 48(2), 628\u2013658 (2008)","journal-title":"Int. J. Approx. Reas."},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/jigpal\/jzr033","volume":"20","author":"M Milo\u0161evi\u0107","year":"2012","unstructured":"Milo\u0161evi\u0107, M., Ognjanovi\u0107, Z.: A first-order conditional probability logic. Log. J. IGPL 20(1), 235\u2013253 (2012)","journal-title":"Log. J. IGPL"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 71\u201387 (1986)","journal-title":"Artif. Intell."},{"issue":"2","key":"10_CR29","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","volume":"9","author":"Z Ognjanovi\u0107","year":"1999","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some probability logics with new types of probability operators. J. Log. Comput. 9(2), 181\u2013195 (1999)","journal-title":"J. Log. Comput."},{"issue":"1\u20132","key":"10_CR30","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z Ognjanovi\u0107","year":"2000","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theoret. Comput. Sci. 247(1\u20132), 191\u2013212 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47012-2","volume-title":"Probability Logics - Probability-Based Formalization of Uncertain Reasoning","author":"Z Ognjanovi\u0107","year":"2016","unstructured":"Ognjanovi\u0107, Z., Raskovi\u0107, M., Markovi\u0107, Z.: Probability Logics - Probability-Based Formalization of Uncertain Reasoning. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-47012-2"},{"issue":"1","key":"10_CR32","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ijar.2007.08.006","volume":"49","author":"M Ra\u0161kovi\u0107","year":"2008","unstructured":"Ra\u0161kovi\u0107, M., Markovi\u0107, Z., Ognjanovi\u0107, Z.: A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49(1), 52\u201366 (2008)","journal-title":"Int. J. Approx. Reason."},{"key":"10_CR33","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.ijar.2017.05.013","volume":"88","author":"N Savi\u0107","year":"2017","unstructured":"Savi\u0107, N., Doder, D., Ognjanovi\u0107, Z.: Logics with lower and upper probability operators. Int. J. Approx. Reason. 88, 148\u2013168 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-319-61581-3_44","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"N Savi\u0107","year":"2017","unstructured":"Savi\u0107, N., Doder, D., Ognjanovi\u0107, Z.: A first-order logic for reasoning about higher-order upper and lower probabilities. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 491\u2013500. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61581-3_44"},{"key":"10_CR35","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"10_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"},{"issue":"2\u20133","key":"10_CR37","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0888-613X(00)00031-1","volume":"24","author":"P Walley","year":"2000","unstructured":"Walley, P.: Towards a unified theory of imprecise probability. Int. J. Approx. Reason. 24(2\u20133), 125\u2013148 (2000)","journal-title":"Int. J. Approx. Reason."},{"issue":"3","key":"10_CR38","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some consideration on the logics $$P_{F}D$$PFD. J. Appl. Non-Class. Logics 7(3), 287\u2013307 (1997)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"LA Zadeh","year":"1978","unstructured":"Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3\u201328 (1978)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90050-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T23:33:17Z","timestamp":1660951997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90050-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900490","9783319900506"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90050-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}