{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T10:36:13Z","timestamp":1721644573015},"reference-count":35,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2021,11,1]]},"DOI":"10.1215\/00294527-2021-0033","type":"journal-article","created":{"date-parts":[[2021,12,13]],"date-time":"2021-12-13T16:39:02Z","timestamp":1639413542000},"source":"Crossref","is-referenced-by-count":1,"title":["A Probabilistic Semantics for Belief Logic"],"prefix":"10.1215","volume":"62","author":[{"given":"Jiaqi","family":"He","sequence":"first","affiliation":[{"name":"Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, Guangdong Province, People\u2019s Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu","family":"Liu","sequence":"additional","affiliation":[{"name":"Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, Guangdong Province, People\u2019s Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"\u00c5gotnes, T., and N. Alechina, \u201cThe dynamics of syntactic knowledge,\u201d <i>Journal of Logic and Computation<\/i>, vol. 17 (2007), pp. 83\u2013116.","DOI":"10.1093\/logcom\/exl019"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Artemov, S., and R. Kuznets, \u201cLogical omniscience as a computational complexity problem,\u201d pp. 14\u201323 in <i>Theoretical Aspects of Rationality and Knowledge<\/i>, edited by A. Heifetz, ACM, New York, 2009.","DOI":"10.1145\/1562814.1562821"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Artemov, S., and R. Kuznets, \u201cLogical omniscience as infeasibility,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 165 (2014), pp. 6\u201325.","DOI":"10.1016\/j.apal.2013.07.003"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Bjerring, J. C., and M. Skipper, \u201cA dynamic solution to the problem of logical omniscience,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 48 (2019), pp. 501\u201321.","DOI":"10.1007\/s10992-018-9473-2"},{"key":"5","unstructured":"Demey, L., and J. Sack, \u201cEpistemic probabilistic logic,\u201d pp. 147\u2013202 in <i>Handbook of Epistemic Logic<\/i>, edited by H. van Ditmarsch, J. Y. Halpern, W. van der Hoek and B. Kooi, College Publications, London, 2015."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Douven, I., and T. Williamson, \u201cGeneralizing the lottery paradox,\u201d <i>British Journal for the Philosophy of Science<\/i>, vol. 57 (2006), pp. 755\u201379.","DOI":"10.1093\/bjps\/axl022"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Duc, H. N., \u201cReasoning about rational, but not logically omniscient, agents,\u201d <i>Journal of Logic and Computation<\/i>, vol. 7 (1997), pp. 633\u201348.","DOI":"10.1093\/logcom\/7.5.633"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Easwaran, K., \u201cDr. Truthlove or: How I learned to stop worrying and love Bayesian probabilities,\u201d <i>No\u00fbs<\/i>, vol. 50 (2016), pp. 816\u201353.","DOI":"10.1111\/nous.12099"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Fagin, R., and J. Y. Halpern, \u201cBelief, awareness, and limited reasoning,\u201d <i>Artificial Intelligence<\/i>, vol. 34 (1987), pp. 39\u201376.","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Fagin, R., and J. Y. Halpern, \u201cReasoning about knowledge and probability,\u201d <i>Journal of the ACM<\/i>, vol. 41 (1994), pp. 340\u201367.","DOI":"10.1145\/174652.174658"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Fagin, R., J. Y. Halpern, and N. Megiddo, \u201cA logic for reasoning about probabilities,\u201d <i>Information and Computation<\/i>, vol. 87 (1990), pp. 78\u2013128.","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Fagin, R., J. Y. Halpern, and M. Y. Vardi, \u201cA nonstandard approach to the logical omniscience problem,\u201d <i>Artificial Intelligence<\/i>, vol. 79 (1995), pp. 203\u201340.","DOI":"10.1016\/0004-3702(94)00060-3"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Foley, R., <i>Working Without a Net: A Study of Egocentric Epistemology<\/i>, Oxford University Press, New York, 1992.","DOI":"10.2307\/2186024"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Hawthorne, J., <i>Knowledge and Lotteries<\/i>, Oxford University Press, New York, 2003.","DOI":"10.1111\/j.1933-1592.2007.00072.x"},{"key":"15","unstructured":"Heifetz, A., and P. Mongin, \u201cThe modal logic of probability,\u201d pp. 175\u201385 in <i>Theoretical Aspects of Rationality and Knowledge<\/i>, edited by I. Gilboa, Morgan Kaufmann, Burlington, 1998."},{"key":"16","doi-asserted-by":"publisher","unstructured":"Heifetz, A., and P. Mongin, \u201cProbability logic for type spaces: Economics and artificial intelligence,\u201d <i>Games and Economic Behavior<\/i>, vol. 35 (2001), pp. 31\u201353.","DOI":"10.1006\/game.1999.0788"},{"key":"17","unstructured":"Herzig, A., \u201cModal probability, belief, and actions,\u201d <i>Fundamenta Informaticae<\/i>, vol. 57 (2003), pp. 323\u201344."},{"key":"18","doi-asserted-by":"publisher","unstructured":"Herzig, A., and D. Longin, \u201cOn modal probability and belief,\u201d pp. 62\u201373 in <i>Symbolic and Quantitative Approaches to Reasoning with Uncertainty<\/i>, edited by J. Vejnarov\u00e1 and N. Wilson, vol. 2711 of <i>Lecture Notes in Computer Science<\/i>, Springer, New York, 2003.","DOI":"10.1007\/978-3-540-45062-7_5"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Hintikka, J., \u201cReasoning about knowledge in philosophy: The paradigm of epistemic logic,\u201d pp. 63\u201380 in <i>Theoretical Aspects of Reasoning about Knowledge<\/i>, edited by J. Y. Halpern, Morgan Kaufmann, Palo Alto, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50007-7"},{"key":"21","doi-asserted-by":"crossref","unstructured":"Jaspars, J. O. M., \u201cLogical omniscience and inconsistent belief,\u201d pp. 129\u201346 in <i>Diamonds and Defaults (Amsterdam, 1990\/1991)<\/i>, edited by M. de Rijke, vol. 229 of <i>Synthese Library<\/i>, Kluwer Academic, Dordrecht, 1993.","DOI":"10.1007\/978-94-015-8242-1_5"},{"key":"22","unstructured":"Konolige, K., <i>A Deduction Model of Belief: Research Notes in Artificial Intelligence<\/i>, Morgan Kaufmann, Palo Alto, 1986."},{"key":"23","doi-asserted-by":"crossref","unstructured":"Leitgeb, H., <i>The Stability of Belief: How Rational Belief Coheres with Probability<\/i>, Oxford University Press, Oxford, 2017.","DOI":"10.1093\/acprof:oso\/9780198732631.001.0001"},{"key":"24","unstructured":"Levesque, H. J., \u201cA logic of implicit and explicit belief,\u201d pp. 198\u2013202 in <i>Proceedings of the Fourth National Conference on Artificial Intelligence (Austin, 1984)<\/i>, AAAI Press, Palo Alto, 1984."},{"key":"25","doi-asserted-by":"publisher","unstructured":"Lin, H., and K. T. Kelly, \u201cPropositional reasoning that tracks probabilistic reasoning,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 41 (2012), pp. 957\u201381.","DOI":"10.1007\/s10992-012-9237-3"},{"key":"26","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J., and W. van der Hoek, \u201cA default logic based on epistemic states,\u201d pp. 265\u201373 in <i>Symbolic and Quantitative Approaches to Reasoning with Uncertainty<\/i>, edited by M. Clarke, R. Kruse, and S. Moral, vol. 747 of <i>Lecture Notes in Mathematics<\/i>, 1993.","DOI":"10.1007\/BFb0028209"},{"key":"27","unstructured":"Rantala, V., \u201cImpossible worlds semantics and logical omniscience,\u201d <i>Acta Philosophica Fennica<\/i>, vol. 35 (1982), pp. 106\u201315."},{"key":"28","doi-asserted-by":"publisher","unstructured":"Rasmussen, M. S., \u201cDynamic epistemic logic and logical omniscience,\u201d <i>Logic and Logical Philosophy<\/i>, vol. 24 (2015), pp. 377\u201399.","DOI":"10.12775\/llp.2015.014"},{"key":"29","doi-asserted-by":"publisher","unstructured":"Schaerf, M., and M. Cadoli, \u201cTractable reasoning via approximation,\u201d <i>Artificial Intelligence<\/i>, vol. 74 (1995), pp. 249\u2013310.","DOI":"10.1016\/0004-3702(94)00009-P"},{"key":"30","unstructured":"Shirazi, A., and E. Amir, \u201cProbabilistic modal logic,\u201d in pp. 489\u201395 in <i>Proceedings of the 22nd National Conference on Artificial Intelligence<\/i>, edited by A. Cohn, AAAI Press, Palo Alto, 2007."},{"key":"31","unstructured":"Thijsse, E., \u201cCombining partial and classical semantics: A hybrid approach to belief and awareness,\u201d pp. 223\u201349 in <i>Partiality, Modality, and Nonmonotonicity<\/i>, edited by P. Doherty, <i>Studies in Logic, Language and Information<\/i>, CSLI, Stanford, 1996."},{"key":"32","unstructured":"van der Hoek, W., and J.-J. Meyer, \u201cPossible logics for belief,\u201d <i>Logique et Analyse (N.S.)<\/i>, vol. 32 (1989), pp. 177\u201394."},{"key":"33","unstructured":"van der Hoek, W., and J.-J. Meyer, \u201cModalities for reasoning about knowledge and uncertainties,\u201d pp. 77\u2013109 in <i>Partiality, Modality, and Nonmonotonicity<\/i>, edited by P. Doherty, <i>Studies in Logic, Language and Information<\/i>, CSLI, Stanford, 1996."},{"key":"34","doi-asserted-by":"crossref","unstructured":"Vardi, M. Y., \u201cOn epistemic logic and logical omniscience,\u201d pp. 293\u2013305 in <i>Theoretical Aspects of Reasoning About Knowledge (Monterey, 1986)<\/i>, edited by J. Y. Halpern, Morgan Kaufmann, Palo Alto, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50024-7"},{"key":"35","unstructured":"Wooldridge, M., \u201cAn abstract general model and logic of resource-bounded believers,\u201d pp. 136\u201341 in <i>AAAI Spring Symposium on Representing Mental States and Mechanisms<\/i>, Stanford, 1995."},{"key":"19","unstructured":"Hintikka, J., <i>Knowledge and Belief: An Introduction to the Logic of the Two Notions<\/i>, Cornell University Press, Ithaca, 1962."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2021-0033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:35Z","timestamp":1706648435000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-62\/issue-4\/A-Probabilistic-Semantics-for-Belief-Logic\/10.1215\/00294527-2021-0033.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,1]]},"references-count":35,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2021,11,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2021-0033","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2021,11,1]]}}}