{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:52Z","timestamp":1725455932159},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018448","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"282-300","source":"Crossref","is-referenced-by-count":6,"title":["Awareness, negation and Logical omniscience"],"prefix":"10.1007","author":[{"given":"Zhisheng","family":"Huang","sequence":"first","affiliation":[]},{"given":"Karen","family":"Kwast","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"19_CR1","unstructured":"Jon Barwise and John Perry, Situations and Attitudes, MIT Press, 1983."},{"key":"19_CR2","unstructured":"Johan van Benthem, Modal Logic as a Theory of Information, ITLI LP-89-05, University of Amsterdam, 1989."},{"key":"19_CR3","unstructured":"Cresswell, M. J., Structured Meanings. MIT Press, 1985."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Dirk van Dalen, Intuitionistic Logic, in:Gabbay, D. M. (ed.) Handbooks of Philosophical Logic, Vol.III, P. Reidel Publishing Company, 1986, 225\u2013339.","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"19_CR5","unstructured":"C. J. Date, \u201dNot\u201d is not not, Presentation of Data Base Day, Eindhoven, December, 1989."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R. A. Eberle","year":"1974","unstructured":"Eberle, R. A., The Logic of Believing Knowing, and Inferring. Synthese 26(1974), 356\u2013382.","journal-title":"Synthese"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. F. Fagin","year":"1988","unstructured":"Fagin, R. F. and Halpern, J. Y., Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., Semantical Investigations in Heyting's Intuitionistic Logic, S. Reidel Publishing Company, 1981.","DOI":"10.1007\/978-94-017-2977-2"},{"key":"19_CR9","unstructured":"Hintikka, J., Knowledge and Belief, Cornell University Press, 1962."},{"key":"19_CR10","first-page":"475","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J., Impossible possible worlds vindicated. J. Philosophy 4(1975), 475\u2013484.","journal-title":"J. Philosophy"},{"key":"19_CR11","unstructured":"W. van der Hoek, J.-J. Ch. Meijer, Possible Logics for Belief, Report IR-170, Vrije University Amsterdam, 1988."},{"key":"19_CR12","unstructured":"Zhisheng Huang, Dependency of Belief in Distributed Systems, in: Martin Stokhof and Leen Torenvliet (eds.) Proceedings of the 7th Amsterdam Colloquium, (ITLI, University of Amsterdam, 1990) 637\u2013662. Also available: Institute for Language, Logic and Information, Preprint LP-89-09, University of Amsterdam, 1989."},{"key":"19_CR13","unstructured":"Konolige, K., A deductive model of belief. Proceedings 8th Int. Joint Conf. on AI, 1983, 377\u2013381."},{"key":"19_CR14","unstructured":"Konolige, K., Belief and incompleteness. in: J. R. Hobbs and R. C. Moore (eds.) Formal Theories of the Commonsense World, Ablex Publishing Company, 1985, 359\u2013404."},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/B978-0-934613-04-0.50019-3","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","author":"K. Konolige","year":"1986","unstructured":"Konolige, K., What Awareness Isn't: A Sentential View of Implicit and Explicit Belief, in: J. Y. Halpern (ed.) Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, (Morgan-Kaufmann, Los Altos, CA, 1986) 241\u2013250."},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/B978-0-934613-04-0.50027-2","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 conference","author":"G. Lakemeyer","year":"1986","unstructured":"Lakemeyer, G., Steps towards a First-order logic of Explicit and Implicit Belief, in: J.Y. Halpern (ed.) Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 conference (Morgan-Kaufmann, Los Alots, CA, 1986) 325\u2013340."},{"key":"19_CR17","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"Lenzen, W., Recent Work in Epistemic Logic. Acta Phil. Fenn. 30(1978), 1\u2013129.","journal-title":"Acta Phil. Fenn."},{"key":"19_CR18","unstructured":"Levesque, H. J., A logic of implicit and explicit belief, in: Proceedings AAAI-84 Austin, TX (1984) 198\u2013202."},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-0-934613-04-0.50024-7","volume-title":"Theoretical Aspects of Reasoning about knowledge: Proceedings of the 1986 conference","author":"M. Y. Vardi","year":"1986","unstructured":"Vardi, M. Y., On epistemic logic and logical omniscience, in: J.Y. Halpern (ed.), Theoretical Aspects of Reasoning about knowledge: Proceedings of the 1986 conference (Morgan-Kaufmann, Los Altos, CA, 1986) 293\u2013306."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:36:25Z","timestamp":1586572585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0018448","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}