{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T05:31:13Z","timestamp":1734586273657,"version":"3.30.2"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1007\/bf00297510","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T11:42:28Z","timestamp":1097062948000},"page":"329-354","source":"Crossref","is-referenced-by-count":10,"title":["I'm OK if you're OK: On the notion of trusting communication"],"prefix":"10.1007","volume":"17","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[]},{"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"CR1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"M. Chandy","year":"1986","unstructured":"M. Chandy and J. Misra, ?How processes learn?, Distributed Computing 1(1), 1986, pp. 40?52.","journal-title":"Distributed Computing"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"C. Dwork and Y. Moses, ?Knowledge and common knowledge in a Byzantine environment I: Crash failures?, Theoretical Aspects of Reasoning about Knowledge: Proc. of the 1986 Conference (ed. J. Y. Halpern), Morgan Kaufmann, 1986, pp. 149?169.","DOI":"10.1016\/B978-0-934613-04-0.50013-2"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J. Y. Halpern, ?Belief, awareness, and limited reasoning? Artificial Intelligence 34, 1988, pp. 39?76.","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"A. Gupta, ?Truth and paradox?, Journal of Philosophical Logic 11, 1982, pp. 1?60. Reprinted in Recent Essays on Truth and the Liar Paradox (ed. R. L. Martin), Oxford University Press, 1984, pp. 175?235.","DOI":"10.1007\/BF00302338"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern, ?Using reasoning about knowledge to analyze distributed systems?, Annual Review of Computer Science, Vol. 2 (ed. J. Traub et al.), Annual Reviews Inc., 1987, pp. 37?68.","DOI":"10.1146\/annurev.cs.02.060187.000345"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and R. Fagin, ?A formal model of knowledge, action, and communication in distributed systems?, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985, pp. 224?236.","DOI":"10.1145\/323596.323617"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. O. Moses, ?Knowledge and common knowledge in a distributed environment?, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, 1984, pp. 50?61; a revised version appeared as IBM Research Report RJ 4421, 1986.","DOI":"10.1145\/800222.806735"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern, Y. O. Moses, and M. Tuttle, ?A knowledge-based analysis of zero knowledge?, Proceedings of the 20th ACM Symposium on Theory of Computing, 1988, pp. 132?147.","DOI":"10.1145\/62212.62224"},{"key":"CR9","unstructured":"J. Hintikka, Knowledge and Belief, Cornell University Press, 1962."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"640","DOI":"10.2307\/2024634","volume":"72","author":"S. A. Kripke","year":"1975","unstructured":"S. A.Kripke, ?Outline of a theory of truth?, Journal of Philosophy 72, 1975, pp. 640?716. Reprinted in Recent Essays on Truth and the Liar Paradox (ed. R. L. Martin), 1984, Oxford University Press.","journal-title":"Journal of Philosophy"},{"key":"CR11","unstructured":"H. J. Levesque, ?A logic of implicit and explicit belief?, Proc. National Conf. on Artificial Intelligence, 1984, pp. 198?202; a revised and expanded version appears as Fairchild Lab. Technical Report FLAIR #32, 1984."},{"key":"CR12","unstructured":"D. Lewis, Convention, A Philosophical Study, Harvard University Press, 1969."},{"key":"CR13","unstructured":"Y. Moses, ?Resource-bounded knowledge?, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (ed. M. Y. Vardi), Morgan Kaufmann, 1988, pp. 261?295."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Y. Moses and M. Tuttle, ?Programming simultaneous actions using common knowledge?, Algorithmica 3, 1988, pp. 121?169.","journal-title":"Algorithmica"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297510.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00297510\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T22:14:24Z","timestamp":1734560064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00297510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["BF00297510"],"URL":"https:\/\/doi.org\/10.1007\/bf00297510","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[1988,11]]}}}