{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T16:52:30Z","timestamp":1716569550240},"reference-count":19,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,7,1]]},"DOI":"10.1305\/ndjfl\/1040149361","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:27:19Z","timestamp":1046208439000},"source":"Crossref","is-referenced-by-count":5,"title":["Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson"],"prefix":"10.1215","volume":"36","author":[{"given":"Kieron","family":"O'Hara","sequence":"first","affiliation":[]},{"given":"Han","family":"Reichgelt","sequence":"additional","affiliation":[]},{"given":"Nigel","family":"Shadbolt","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Aitken, J. S., H. Reichgelt and N. Shadbolt, \u201cResolution theorem proving in reified modal logics,\u201d <i>Journal of Automated Reasoning<\/i>, vol. 12 (1994), pp. 103\u2013129. Zbl 0810.03009 MR 95k:68195","DOI":"10.1007\/BF00881845"},{"key":"2","unstructured":"Ballim, A., and Y. Wilks, <i>Artificial Believers: The Ascription of Belief<\/i>, Lawrence Erlbaum Associates, Hillsdale, 1991."},{"key":"3","unstructured":"Barwise, J., and J. Perry, <i>Situations and Attitudes<\/i>, M.I.T. Press, Cambridge, 1983. Zbl 0946.03007 MR 2001h:03051"},{"key":"4","unstructured":"Bledsoe, W., <i>The UT Interactive Theorem Prover<\/i>, Technical Paper ATP-17B, University of Austin, 1983."},{"key":"5","unstructured":"Clocksin, W., and R. Mellish, <i>Programming in Prolog<\/i>, Springer-Verlag, Berlin, 1981. Zbl 0466.68009"},{"key":"6","unstructured":"Corlett, R., N. Davies, R. Khan, H. Reichgelt and F. van Harmelen, \u201cThe architecture of Socrates,\u201d pp. 135\u2013164 in <i>Logic-Based Knowledge Representation<\/i>, edited by P. Jackson, H. Reichgelt, and F. van Harmelen, M.I.T. Press, Cambridge, 1989."},{"key":"7","unstructured":"Dennett, D. C., <i>The Intentional Stance<\/i>, M.I.T. Press, Cambridge, 1987."},{"key":"8","unstructured":"Fagin, R., and R. Halpern, \u201cBelief, awareness and limited reasoning,\u201d pp. 491\u2013501 in <i>Proceedings of International Joint Conference on Artificial Intelligence 1985<\/i>, Morgan Kaufman, San Mateo, 1985. Zbl 0634.03013 MR 88k:03030"},{"key":"9","unstructured":"Genesereth, M., R. Greiner and D. Smith, <i>MRS Manual<\/i>, Memo HPP-80-24, Stanford University, 1980."},{"key":"10","unstructured":"Harman, G., <i>Change in View<\/i>, M.I.T. Press, Cambridge, 1986."},{"key":"11","unstructured":"Hintikka, J., <i>Knowledge and Belief: An Introduction to the Logic of the Two Notions<\/i>, Cornell University Press, Ithaca, 1962."},{"key":"12","doi-asserted-by":"crossref","unstructured":"Kahneman, D., P. Slovic and A. Tversky, <i>Judgment Under Uncertainty: Heuristics and Biases<\/i>, Cambridge University Press, Cambridge, 1982.","DOI":"10.1017\/CBO9780511809477"},{"key":"13","unstructured":"Konolige, K., <i>A Deduction Model of Belief<\/i>, Pitman, London, 1986. Zbl 0683.68080 MR 89i:03050"},{"key":"14","unstructured":"Levesque, H., \u201cA logic of implicit and explicit belief,\u201d pp. 198\u2013202 in <i>Proceedings of AAAI-84<\/i>, Morgan Kaufman, San Mateo, 1984."},{"key":"15","doi-asserted-by":"publisher","unstructured":"MacPherson, B., \u201cIs it possible that belief isn't necessary?\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 34 (1993), pp. 12\u201328. Zbl 0800.03008 MR 94h:03041","DOI":"10.1305\/ndjfl\/1093634560"},{"key":"16","unstructured":"Reichgelt, H., <i>Knowledge Representation: An AI Perspective<\/i>, Ablex, Norwood, 1991."},{"key":"17","unstructured":"Rescher, N., <i>Studies in Modality<\/i>, Blackwell, Oxford, 1973."},{"key":"18","unstructured":"Silverman, B. G., \u201cCritiquing human judgment via knowledge acquisition systems,\u201d <i>AI Magazine<\/i>, vol. 11 (1990), pp. 60\u201379."},{"key":"19","doi-asserted-by":"publisher","unstructured":"Williamson, T., \u201cSome admissible rules in nonnormal modal systems,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 34 (1993), pp. 378\u2013400 Zbl 0803.03008 MR 94i:03056","DOI":"10.1305\/ndjfl\/1093634728"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040149361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:35Z","timestamp":1706649155000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-3\/Avoiding-Omnidoxasticity-in-Logics-of-Belief--A-Reply-to\/10.1305\/ndjfl\/1040149361.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7,1]]},"references-count":19,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1995,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040149361","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7,1]]}}}