{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:00Z","timestamp":1725663180539},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540186250"},{"type":"electronic","value":"9783540480334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_72","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:41:16Z","timestamp":1330198876000},"page":"528-539","source":"Crossref","is-referenced-by-count":0,"title":["Some recent applications of knowledge"],"prefix":"10.1007","author":[{"given":"Rohit","family":"Parikh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF00364686","volume":"34","author":"T. Burge","year":"1978","unstructured":"Tyler Burge, \u201cBuridan and Epistemic Paradox\u201d, Philosophical Studies 34 (1978) pp. 21\u201335.","journal-title":"Philosophical Studies"},{"key":"36_CR2","volume-title":"Sophisms on Meaning and Truth","author":"J. Buridan","year":"1966","unstructured":"Jean Buridan, Sophisms on Meaning and Truth, Meredith publishing company, New York, 1966."},{"key":"36_CR3","unstructured":"H. Clark and C. Marshall, \u201cDefinite Reference and Mutual Knowledge\u201d in Elements of Discourse Understanding Ed. Joshi, Webber and Sag, Cambridge U. Press, 1981."},{"key":"36_CR4","first-page":"204","volume":"1","author":"K. M. Chandy","year":"1985","unstructured":"K. M. Chandy and J. Misra, \u201cHow Processes Learn\u201d, Proceedings of the 4th PODC (1985), 204\u2013214. Also Distributed Computing 1 (1986) pp. 40\u201352.","journal-title":"Proceedings of the 4th PODC"},{"key":"36_CR5","unstructured":"J. Hintikka, Knowledge and Belief, Cornell U. Press, 1962."},{"key":"36_CR6","unstructured":"Reasoning about Knowledge, Ed. J. Halpern, Morgan Kaufman, 1986."},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"J. Halpern, \u201cReasoning about Knowledge: an Overview\u201d, in [H2] above, 1\u201317.","DOI":"10.1016\/B978-0-934613-04-0.50004-1"},{"key":"36_CR8","unstructured":"J. Halpern and R. Fagin, \u201cA Formal Model of Knowledge, Communication and Action\u201d in Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 224\u2013236."},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"J. Halpern and Y. Moses, \u201cKnowledge and Common Knowledge in a distributed Environment\u201d, ACM-PODC 1984, pp. 50\u201361.","DOI":"10.1145\/800222.806735"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"David Hume A Treatise of Human Nature, first published 1739\u201340, Penguin edition 1969, Book I, part IV, section VI.","DOI":"10.1093\/oseo\/instance.00046221"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"J. Halpern and M. Vardi \u201cThe Complexity of Reasoning about Knowledge and Time\u201d Proceedings of the 18th ACM-STOC (1986) pp. 304\u2013315.","DOI":"10.1145\/12130.12161"},{"key":"36_CR12","unstructured":"David Lewis, Convention, Harvard U. Press, 1969."},{"key":"36_CR13","unstructured":"The great Dialogues of Plato, translated by W. H. D. Rouse, Mentor Books, 1956."},{"key":"36_CR14","unstructured":"\u201cQuestions of Milinda\u201d (Milindapanho) in The World of the Buddha Ed. Lucien Stryk, Doubleday 1968."},{"key":"36_CR15","unstructured":"Y. Moses and M. Tuttle, \u201cProgramming simultaneous actions using common knowledge\u201d 27th IEEE-FOCS (1986) pp. 208\u2013221."},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"R. Parikh, \u201cLogics of Knowledge, Games and Dynamic Logic\u201d, in FST\/TCS 4, Springer LNCS no. 181, pp. 202\u2013222.","DOI":"10.1007\/3-540-13883-8_74"},{"key":"36_CR17","unstructured":"R. Parikh, \u201cLevels of Knowledge in Distributed Computing\u201d in IEEE Symposium on Logic in Computer Science, Boston 1986, pp. 314\u2013321. (Note that one of the theorems in this paper is joint with P. Krasucki)"},{"key":"36_CR18","unstructured":"R. Parikh, \u201cKnowledge and the Problem of Logical Omniscience\u201d, to appear in ACM-SIGART International Symposium on the Mathodology of Intelligent Systems, Charlotte, NC, 1987."},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"R. Parikh and R. Ramanujam, \u201cDistributed Processing and the Logic of Knowledge\u201d, in Logics of Programs '85 Springer LNCS no.193, pp. 256\u2013268.","DOI":"10.1007\/3-540-15648-8_21"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:18Z","timestamp":1605644118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}