{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:54Z","timestamp":1749725034635},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_68","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:51:15Z","timestamp":1330177875000},"page":"186-195","source":"Crossref","is-referenced-by-count":9,"title":["Knowledge, belief and time"],"prefix":"10.1007","author":[{"given":"Sarit","family":"Kraus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","unstructured":"R. Fagin and J.Y. Halpern, Belief,Awareness, and Limited Reasoning, Nineth International Joint Conference on Artificial Intelligence, (August 1985)."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"R.Fagin and M. Y. Vardi, An internal semantics for modal logic, Proc. of the 17th Annual ACM, Symposium on Theory of Computing,1985, pp 305\u2013315.","DOI":"10.1145\/22145.22179"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Gabbay,D.,Pnueli, A.,Shelah, S. and Stavi,J. On the temporal analysis of fairness,Conf, Record of 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada (Jan, 1980), pp. 174\u2013183.","DOI":"10.1145\/567446.567462"},{"key":"20_CR4","unstructured":"J.Y. Halpern, privet communication, 1985."},{"key":"20_CR5","volume-title":"Knowledge and belief, an introduction to the logic of the two notions","author":"Hintikka","year":"1962","unstructured":"Hintikka, Jaakko, Knowledge and belief, an introduction to the logic of the two notions, Cornell Univ. Press, Ithaca and London (1962)."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"J.Y. Halpern and Y. Moses, Knowledge and common knowledge in distributed environment, Proceeding of the 3rd ACM Symposium on Principles of Distributed Computing, 1984,pp. 50\u201361.","DOI":"10.1145\/800222.806735"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"J.Y. Halpern and Y. Moses, Towards a Theory of knowledge and ignorance: IBM,RJ 4448,1984.","DOI":"10.1007\/978-3-642-82453-1_16"},{"key":"20_CR8","unstructured":"J.Y. Halpern and Y. Moses, A guide to the modal logic of knowledge and belief."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"D.J. Lehmann, Knowledge, common knowledge, and related puzzles, in Proceeding of the 3rd ACM Symposium on Principles of Distributed Computing, 1984,pp. 62\u201367.","DOI":"10.1145\/800222.806736"},{"key":"20_CR10","unstructured":"H.J.Levesque,A logic of implicit and explicit belief,Proc Nat'l Conf. on Artificial Intelligence(1984),pp.198\u2013202."},{"key":"20_CR11","volume-title":"Convention, A philosophical study","author":"Lewis","year":"1969","unstructured":"Lewis, David K, Convention, A philosophical study, Harvard University Press, Cambridge, Massachusetts, 1969."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Lehmann, D. and Shelah, S. Reasoning with Time and Chance, Information and Control, Vol.53, pp. 165\u2013198.","DOI":"10.1016\/S0019-9958(82)91022-1"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16761-7_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:53Z","timestamp":1605625853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}