{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:26:13Z","timestamp":1760171173646,"version":"3.41.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T00:00:00Z","timestamp":1580601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Serbian Ministry of Education and Science through projects","award":["ON174026, ON174010, and III44006"],"award-info":[{"award-number":["ON174026, ON174010, and III44006"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2020,4,30]]},"abstract":"<jats:p>\n            We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. We define its syntax and semantics and prove the strong completeness property of the corresponding axiomatic system.\n            <jats:sup>1<\/jats:sup>\n          <\/jats:p>","DOI":"10.1145\/3359752","type":"journal-article","created":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T05:21:35Z","timestamp":1580707295000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A First-order Logic for Reasoning about Knowledge and Probability"],"prefix":"10.1145","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1832-3348","authenticated-orcid":false,"given":"S.","family":"Tomovi\u0107","sequence":"first","affiliation":[{"name":"Faculty of Technical Sciences, Novi Sad, Serbia"}]},{"given":"Z.","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[{"name":"Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia"}]},{"given":"D.","family":"Doder","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2020,2,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1049"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of A Conference on Logic and its Applications (ACCOLADE'95)","author":"Alechina Natasha","year":"1995","unstructured":"Natasha Alechina . 1995 . Logic with probabilistic operators . In Proceedings of A Conference on Logic and its Applications (ACCOLADE'95) . 121--138. Natasha Alechina. 1995. Logic with probabilistic operators. In Proceedings of A Conference on Logic and its Applications (ACCOLADE'95). 121--138."},{"key":"e_1_2_1_3_1","volume-title":"Agreeing to disagree. Ann. Statist. 4, 6 (11","author":"Aumann Robert J.","year":"1976","unstructured":"Robert J. Aumann . 1976. Agreeing to disagree. Ann. Statist. 4, 6 (11 1976 ), 1236--1239. Robert J. Aumann. 1976. Agreeing to disagree. Ann. Statist. 4, 6 (11 1976), 1236--1239."},{"key":"e_1_2_1_4_1","volume-title":"Aumann and Sergiu Hart","author":"Robert","year":"1992","unstructured":"Robert J. Aumann and Sergiu Hart . 1992 . Handbook of Game Theory with Economic Applications. Vol. 2 . Elsevier . Robert J. Aumann and Sergiu Hart. 1992. Handbook of Game Theory with Economic Applications. Vol. 2. Elsevier."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1990.tb00296.x"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00031-4"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2832581.2832634"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/115"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.06.003"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 6th Conference on Advances in Modal Logic, Guido Governatori, Ian M. Hodkinson, and Yde Venema (Eds.). College Publications, 107","author":"Br\u00fcnnler Kai","year":"2006","unstructured":"Kai Br\u00fcnnler . 2006 . Deep sequent systems for modal logic . In Proceedings of the 6th Conference on Advances in Modal Logic, Guido Governatori, Ian M. Hodkinson, and Yde Venema (Eds.). College Publications, 107 . Kai Br\u00fcnnler. 2006. Deep sequent systems for modal logic. In Proceedings of the 6th Conference on Advances in Modal Logic, Guido Governatori, Ian M. Hodkinson, and Yde Venema (Eds.). College Publications, 107."},{"volume-title":"Proceedings of the Conference on Advances in Modal Logic. 377--393","author":"Gerard","key":"e_1_2_1_11_1","unstructured":"Gerard R. Renardel de Lavalette, Barteld Kooi, and Rineke Verbrugge. 2002. A strongly complete proof system for propositional dynamic logic . In Proceedings of the Conference on Advances in Modal Logic. 377--393 . Gerard R. Renardel de Lavalette, Barteld Kooi, and Rineke Verbrugge. 2002. A strongly complete proof system for propositional dynamic logic. In Proceedings of the Conference on Advances in Modal Logic. 377--393."},{"key":"e_1_2_1_12_1","volume-title":"A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Public. L\u2019Inst. Math. Ns. 90 (104)","author":"Doder Dragan","year":"2011","unstructured":"Dragan Doder . 2011. A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Public. L\u2019Inst. Math. Ns. 90 (104) ( 2011 ), 13--22. Dragan Doder. 2011. A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Public. L\u2019Inst. Math. Ns. 90 (104) (2011), 13--22."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11829-6_4"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI\u201915)","author":"Doder Dragan","year":"2015","unstructured":"Dragan Doder and Zoran Ognjanovic . 2015 . A probabilistic logic for reasoning about uncertain temporal information . In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI\u201915) . 248--257. Dragan Doder and Zoran Ognjanovic. 2015. A probabilistic logic for reasoning about uncertain temporal information. In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI\u201915). 248--257."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9718-z"},{"key":"e_1_2_1_16_1","first-page":"1439","article-title":"An axiomatization of a first-order branching time temporal logic","volume":"16","author":"Doder Dragan","year":"2010","unstructured":"Dragan Doder , Zoran Ognjanovic , and Zoran Markovic . 2010 . An axiomatization of a first-order branching time temporal logic . J. Univ. Comput. Sci. 16 , 11 (2010), 1439 -- 1451 . Dragan Doder, Zoran Ognjanovic, and Zoran Markovic. 2010. An axiomatization of a first-order branching time temporal logic. J. Univ. Comput. Sci. 16, 11 (2010), 1439--1451.","journal-title":"J. Univ. Comput. Sci."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/174652.174658"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00033-5"},{"key":"e_1_2_1_20_1","volume-title":"Vardi","author":"Fagin Ronald","year":"2003","unstructured":"Ronald Fagin , Joseph Y. Halpern , Yoram Moses , and Moshe Y . Vardi . 2003 . Reasoning About Knowledge. The MIT Press , Cambridge, MA. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. 2003. Reasoning About Knowledge. The MIT Press, Cambridge, MA."},{"volume-title":"Quantification in Modal Logic","author":"Garson James W.","key":"e_1_2_1_21_1","unstructured":"James W. Garson . 2001. Quantification in Modal Logic . Springer Netherlands , Dordrecht , 267--323. James W. Garson. 2001. Quantification in Modal Logic. Springer Netherlands, Dordrecht, 267--323."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90019-V"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79161"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90048-3"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK\u201917)","volume":"251","author":"Joseph","unstructured":"Joseph Y. Halpern and Rafael Pass. 2017. A knowledge-based analysis of the blockchain protocol . In Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK\u201917) . (EPTCS), J\u00e9r\u00f4me Lang (Ed.) , Vol. 251 . 324--335. Joseph Y. Halpern and Rafael Pass. 2017. A knowledge-based analysis of the blockchain protocol. In Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK\u201917). (EPTCS), J\u00e9r\u00f4me Lang (Ed.), Vol. 251. 324--335."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.01.003"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/153724.153770"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.2307\/2267044"},{"key":"e_1_2_1_29_1","unstructured":"G. E. Hughes and M. J. Cresswell. 1984. A Companion to Modal Logic. Methuen.  G. E. Hughes and M. J. Cresswell. 1984. A Companion to Modal Logic. Methuen."},{"key":"e_1_2_1_30_1","unstructured":"G. E. Hughes and M. J. Cresswell. 1968. An Introduction to Modal Logic. Methuen.  G. E. Hughes and M. J. Cresswell. 1968. An Introduction to Modal Logic. Methuen."},{"key":"e_1_2_1_31_1","volume-title":"A map of common knowledge logics. Stud. Log. 71, 1 (1","author":"Kaneko Mamoru","year":"2002","unstructured":"Mamoru Kaneko , Takashi Nagashima , Nobu-Yuki Suzuki , and Yoshihito Tanaka . 2002. A map of common knowledge logics. Stud. Log. 71, 1 (1 June 2002 ), 57--86. Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, and Yoshihito Tanaka. 2002. A map of common knowledge logics. Stud. Log. 71, 1 (1 June 2002), 57--86."},{"key":"e_1_2_1_32_1","volume-title":"A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Computat. (4","author":"Marinkovic Bojan","year":"2019","unstructured":"Bojan Marinkovic , Paola Glavan , Zoran Ognjanovic , and Thomas Studer . 2019. A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Computat. (4 2019 ). Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, and Thomas Studer. 2019. A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Computat. (4 2019)."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.03.002"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr033"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0899-8256(89)90017-1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008270519000"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi077"},{"key":"e_1_2_1_38_1","first-page":"2","article-title":"A propositional probabilistic logic with discrete linear time for reasoning about evidence","volume":"65","author":"Ognjanovic Zoran","year":"2012","unstructured":"Zoran Ognjanovic , Zoran Markovic , Miodrag Raskovic , Dragan Doder , and Aleksandar Perovic . 2012 . A propositional probabilistic logic with discrete linear time for reasoning about evidence . Ann. Math. Artif. Intell. 65 , 2 -- 3 (2012), 217--243. Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, and Aleksandar Perovic. 2012. A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65, 2--3 (2012), 217--243.","journal-title":"Ann. Math. Artif. Intell."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.181"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00341-7"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47012-2"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252679"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2017.05.013"},{"key":"e_1_2_1_44_1","volume-title":"Common knowledge and quantification. Econ. Theor. 19, 1 (1","author":"Sturm Holger","year":"2002","unstructured":"Holger Sturm , Frank Wolter , and Michael Zakharyaschev . 2002. Common knowledge and quantification. Econ. Theor. 19, 1 (1 Jan. 2002 ), 157--186. Holger Sturm, Frank Wolter, and Michael Zakharyaschev. 2002. Common knowledge and quantification. Econ. Theor. 19, 1 (1 Jan. 2002), 157--186."},{"key":"e_1_2_1_45_1","first-page":"79","article-title":"Some proof systems for predicate common knowledge logic","volume":"37","author":"Tanaka Yoshihito","year":"2003","unstructured":"Yoshihito Tanaka . 2003 . Some proof systems for predicate common knowledge logic . Rep. Math. Log. 37 (2003), 79 -- 100 . Yoshihito Tanaka. 2003. Some proof systems for predicate common knowledge logic. Rep. Math. Log. 37 (2003), 79--100.","journal-title":"Rep. Math. Log."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1022615613"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20807-7_45"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1997.10510916"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005271815356"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359752","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:06Z","timestamp":1750202586000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,2]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4,30]]}},"alternative-id":["10.1145\/3359752"],"URL":"https:\/\/doi.org\/10.1145\/3359752","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2020,2,2]]},"assertion":[{"value":"2019-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}