{"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":1725455932638},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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\/bfb0018447","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"267-281","source":"Crossref","is-referenced-by-count":6,"title":["Systems for knowledge and beliefs"],"prefix":"10.1007","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF00379767","volume":"2","author":"M. Fattorosi-Barnaba","year":"1985","unstructured":"M. Fattorosi-Barnaba & F. de Caro, Graded Modalities I, in: Studia Logica, 2 (1985), 197\u2013221.","journal-title":"Studia Logica"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J.F.A.K. Benthem van","year":"1984","unstructured":"J.F.A.K. van Benthem, Correspondence Theory, in: Handbook of Philosophical Logic, D. Gabbay & F. Guenthner (eds), vol. 2, Reidel, Dordrecht (1984), 167\u2013247."},{"key":"18_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge\/London (1980)"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R.F. Fagin","year":"1988","unstructured":"R.F. Fagin & J.Y. Halpern, Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"18_CR5","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1977","unstructured":"G.E. Hughes & M.J. Cresswell, An Introduction to Modal Logic, Methuen & Co. Ltd, London (1977)."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Z. Huang & K. Kwast, Awareness, Negation and Logical Omniscience, in Proceedings of JELIA'90, Amsterdam, (1990).","DOI":"10.1007\/BFb0018448"},{"key":"18_CR7","unstructured":"J. Y. Halpern and Y. O. Moses, A Guide to the Modal Logics of Knowledge and Belief, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 480\u2013490"},{"key":"18_CR8","unstructured":"W. van der Hoek & J.-J. Ch. Meyer, Possible Logics for Belief, Report IR-170, Free University Amsterdam (1988)."},{"key":"18_CR9","unstructured":"W. van der Hoek, Systems for Knowledge and Beliefs, Report IR-165, Free University Amsterdam (1989)"},{"key":"18_CR10","unstructured":"W. van der Hoek, Numerieke Modale Logika, paper University of Groningen (1986)."},{"key":"18_CR11","unstructured":"S. Kraus & D. Lehmann, Knowledge, Belief and Time, in: Lecture Notes in Computer Science, L. Kott (ed), 226, ICALP (1986)."},{"key":"18_CR12","unstructured":"H.J. Levesque, A Logic of Implicit and Explicit Belief, in: Proceedings AAAI-84, Austin, TX (1984), 198\u2013202."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"F. Voorbraak, The logic of objective knowledge and rational belief, in Proceedings of JELIA'90, Amsterdam (1990).","DOI":"10.1007\/BFb0018462"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:36:16Z","timestamp":1586558176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0018447","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}