{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:49Z","timestamp":1740122509327,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T00:00:00Z","timestamp":1567468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T00:00:00Z","timestamp":1567468800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200021_165549"],"award-info":[{"award-number":["200021_165549"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja","doi-asserted-by":"publisher","award":["ON174026","III44006"],"award-info":[{"award-number":["ON174026","III44006"]}],"id":[{"id":"10.13039\/501100004564","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja","doi-asserted-by":"publisher","award":["ON174008"],"award-info":[{"award-number":["ON174008"]}],"id":[{"id":"10.13039\/501100004564","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s10849-019-09301-7","type":"journal-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T18:23:31Z","timestamp":1567535011000},"page":"77-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities"],"prefix":"10.1007","volume":"29","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":[[2019,9,3]]},"reference":[{"key":"9301_CR1","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00532649","volume":"68","author":"B Anger","year":"1985","unstructured":"Anger, B., & Lembcke, J. (1985). Infinitely subadditive capacities as upper envelopes of measures. Zeitschrift fur Wahrscheinlichkeitstheorie und Verwandte Gebiete, 68, 403\u2013414.","journal-title":"Zeitschrift fur Wahrscheinlichkeitstheorie und Verwandte Gebiete"},{"issue":"11","key":"9301_CR2","doi-asserted-by":"publisher","first-page":"1400","DOI":"10.1016\/j.artint.2008.03.001","volume":"172","author":"G de Cooman","year":"2008","unstructured":"de Cooman, G., & Hermans, F. (2008). Imprecise probability trees: Bridging two theories of imprecise probability. Artificial Intelligence, 172(11), 1400\u20131427.","journal-title":"Artificial Intelligence"},{"key":"9301_CR3","unstructured":"Doder, D., Markovi\u0107, Z., Ognjanovi\u0107, Z., Perovi\u0107, A., & Ra\u0161kovi\u0107, M. (2010). A probabilistic temporal logic that can model reasoning about evidence. In Proceedings of FoIKS. Lecture notes in computer science (pp. 9\u201324). Berlin: Springer."},{"key":"9301_CR4","unstructured":"Doder, D., Savi\u0107, N., & Ognjanovi\u0107, Z. (2018). A decidable multi-agent logic with iterations of upper and lower probability operators. In Proceedings of FoIKS. Lecture notes in computer science (pp. 170\u2013185). Berlin: Springer."},{"key":"9301_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. (1988). Possibility theory. New York: Plenum Press."},{"issue":"2","key":"9301_CR6","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin, R., & Halpern, J. (1994). Reasoning about knowledge and probability. Journal of the ACM, 41(2), 340\u2013367.","journal-title":"Journal of the ACM"},{"issue":"1\u20132","key":"9301_CR7","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. (1990). A logic for reasoning about probabilities. Information and Computation, 87(1\u20132), 78\u2013128.","journal-title":"Information and Computation"},{"issue":"4","key":"9301_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. (1989). Modal operators with probabilistic interpretations I. Studia Logica, 46(4), 383\u2013393.","journal-title":"Studia Logica"},{"key":"9301_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. (1994). Anytime deduction for probabilistic logic. Artificial Intelligence, 69, 93\u2013122.","journal-title":"Artificial Intelligence"},{"key":"9301_CR10","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. (1990). An analysis of first-order logics of probability. Artificial Intelligence, 46, 311\u2013350.","journal-title":"Artificial Intelligence"},{"key":"9301_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1613\/jair.985","volume":"17","author":"JY Halpern","year":"2002","unstructured":"Halpern, J. Y., & Pucella, R. (2002). A logic for reasoning about upper probabilities. Journal of Artificial Intelligence Research, 17, 57\u201381.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9301_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.01.003","volume":"191","author":"J Halpern","year":"2004","unstructured":"Halpern, J., & Shore, R. (2004). Reasoning about common knowledge with infinitely many agents. Information and Computation, 191, 1\u201340.","journal-title":"Information and Computation"},{"key":"9301_CR13","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. (2001). Probability logic for type spaces. Games and Economic Behavior, 35, 31\u201353.","journal-title":"Games and Economic Behavior"},{"key":"9301_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/0471725250","volume-title":"Robust statistics","author":"PJ Huber","year":"1981","unstructured":"Huber, P. J. (1981). Robust statistics. New York: Wiley."},{"key":"9301_CR15","volume-title":"A companion to modal logic","author":"GE Hughes","year":"1984","unstructured":"Hughes, G. E., & Cresswell, M. J. (1984). A companion to modal logic. London: Methuen."},{"issue":"3\u20134","key":"9301_CR16","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10472-018-9593-y","volume":"83","author":"I Kokkinis","year":"2018","unstructured":"Kokkinis, I. (2018). The complexity of satisfiability in non-iterated and iterated probabilistic logics. Annals of Mathematics and Artificial Intelligence, 83(3\u20134), 351\u2013382.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9301_CR17","volume-title":"Probability and the logic of rational belief","author":"HE Kyburg","year":"1961","unstructured":"Kyburg, H. E. (1961). Probability and the logic of rational belief. Middletown, CT: Wesleyan University Press."},{"key":"9301_CR18","volume-title":"The enterprise of knowledge","author":"I Levi","year":"1980","unstructured":"Levi, I. (1980). The enterprise of knowledge. London: MIT Press."},{"issue":"4","key":"9301_CR19","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. (1952). Multiply subadditive functions. Canadian Journal of Mathematics, 4(4), 455\u2013462.","journal-title":"Canadian Journal of Mathematics"},{"issue":"1","key":"9301_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11856-012-0046-8","volume":"192","author":"M Meier","year":"2012","unstructured":"Meier, M. (2012). An infinitary probability logic for type spaces. Israel Journal of Mathematics, 192(1), 1\u201358.","journal-title":"Israel Journal of Mathematics"},{"issue":"2","key":"9301_CR21","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. (2008). A survey of the theory of coherent lower previsions. International Journal of Approximate Reasoning, 48(2), 628\u2013658.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"9301_CR22","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. (1999). Some probability logics with new types of probability operators. Journal of Logic and Computation, 9(2), 181\u2013195.","journal-title":"Journal of Logic and Computation"},{"issue":"1\u20132","key":"9301_CR23","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. (2000). Some first-order probability logics. Theoretical Computer Science, 247(1\u20132), 191\u2013212.","journal-title":"Theoretical Computer Science"},{"key":"9301_CR24","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. (2016). Probability logics: Probability-based formalization of uncertain reasoning. Berlin: Springer."},{"issue":"1","key":"9301_CR25","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. (2008). A logic with approximate conditional probabilities that can model default reasoning. International Journal of Approximate Reasoning, 49(1), 52\u201366.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9301_CR26","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. (2017a). Logics with lower and upper probability operators. International Journal of Approximate Reasoning, 88, 148\u2013168.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9301_CR27","doi-asserted-by":"crossref","unstructured":"Savi\u0107, N., Doder, D., & Ognjanovi\u0107, Z. (2017b). A first-order logic for reasoning about higher-order upper and lower probabilities. In Proceedings of ECSQARU. Lecture notes in artificial intelligence (pp. 491\u2013500). Berlin: Springer.","DOI":"10.1007\/978-3-319-61581-3_44"},{"key":"9301_CR28","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A mathematical theory of evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G. (1976). A mathematical theory of evidence. Princeton, NJ: Princeton University Press."},{"key":"9301_CR29","unstructured":"Tomovi\u0107, S., Ognjanovi\u0107, Z., & Doder, D. (2015). Probabilistic common knowledge among infinite number of agents. In Proceedings of ECSQARU. Lecture notes in artificial intelligence (pp. 496\u2013505). Berlin: Springer."},{"issue":"3","key":"9301_CR30","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W van der Hoek","year":"1997","unstructured":"van der Hoek, W. (1997). Some consideration on the logics $$P_{F}D$$. Journal of Applied Non-Classical Logics, 7(3), 287\u2013307.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9301_CR31","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. (1991). Statistical reasoning with imprecise probabilities. London: Chapman and Hall."},{"issue":"2\u20133","key":"9301_CR32","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. (2000). Towards a unified theory of imprecise probability. International Journal of Approximate Reasoning, 24(2\u20133), 125\u2013148.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9301_CR33","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. (1978). Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3\u201328.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09301-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09301-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09301-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,27]],"date-time":"2022-09-27T09:54:45Z","timestamp":1664272485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09301-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,3]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["9301"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09301-7","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2019,9,3]]},"assertion":[{"value":"3 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}