{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:43Z","timestamp":1762459123556,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409479"},{"type":"electronic","value":"9783642409486"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40948-6_19","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T05:30:06Z","timestamp":1380605406000},"page":"239-252","source":"Crossref","is-referenced-by-count":12,"title":["Explicit and Implicit Knowledge in Neighbourhood Models"],"prefix":"10.1007","author":[{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)"},{"key":"19_CR3","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proc. of AAAI 1984, Austin, TX, pp. 198\u2013202 (1984)"},{"key":"19_CR4","first-page":"293","volume-title":"TARK","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y.: On epistemic logic and logical omniscience. In: Halpern, J.Y. (ed.) TARK, pp. 293\u2013305. Morgan Kaufmann Publishers Inc., San Francisco (1986)"},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1988)","journal-title":"Artificial Intelligence"},{"key":"19_CR6","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Dynamic epistemic logic for implicit and explicit beliefs (2013), http:\/\/personal.us.es\/frvelazquezquesada\/docs\/delieb-01-05.pdf (accepted for publication)"},{"issue":"suppl. 1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s11229-011-9968-7","volume":"185","author":"B. Renne","year":"2012","unstructured":"Renne, B.: Multi-agent justification logic: Communication and evidence elimination. Synthese\u00a0185(suppl. 1), 43\u201382 (2012)","journal-title":"Synthese"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, Reidel, Dordrecht, The Netherlands, pp. 143\u2013173 (1970)","DOI":"10.1007\/978-94-010-3272-8_7"},{"issue":"3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria\u00a036(3), 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"19_CR10","unstructured":"Pacuit, E.: Neighborhood semantics for modal logic. an introduction. In: Lecture Notes for the ESSLLI Course A Course on Neighborhood Structures for Modal Logic (2007)"},{"key":"19_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J. Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica\u00a099(1), 61\u201392 (2011)","journal-title":"Studia Logica"},{"key":"19_CR13","first-page":"671","volume-title":"IJCAI 2009","author":"C. Areces","year":"2009","unstructured":"Areces, C., Figueira, D.: Which semantics for neighbourhood semantics? In: Boutilier, C. (ed.) IJCAI 2009, pp. 671\u2013676. Morgan Kaufmann Publishers Inc., San Francisco (2009)"},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"The Journal of Symbolic Logic"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Rott, H.: Change, Choice and Inference: a Study of Belief Revision and Nonmonotonic Reasoning. Oxford Logic Guides, vol.\u00a042. Oxford Science Publications (2001)","DOI":"10.1093\/oso\/9780198503064.001.0001"},{"issue":"5","key":"19_CR16","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Information and Control\u00a010(5), 447\u2013474 (1967)","journal-title":"Information and Control"},{"issue":"2","key":"19_CR17","first-page":"371","volume":"169","author":"N. Gierasimczuk","year":"2009","unstructured":"Gierasimczuk, N.: Bridging learning theory and dynamic epistemic logic. Synthese (Knowledge, Rationality and Action)\u00a0169(2), 371\u2013384 (2009)","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"19_CR18","first-page":"201","volume-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","author":"J.A. Plaza","year":"1989","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216. Oak Ridge National Laboratory, ORNL\/DSRD-24, Tennessee (1989)"},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information\u00a06(2), 147\u2013196 (1997)","journal-title":"Journal of Logic, Language, and Information"},{"issue":"2","key":"19_CR20","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H. Ditmarsch van","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.P.: The secret of my success. Synthese\u00a0151(2), 201\u2013232 (2006)","journal-title":"Synthese"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Holliday, W.H., Icard, T.F.: Moorean phenomena in epistemic logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, pp. 178\u2013199. College Publications (2010)","DOI":"10.1017\/UPO9781844654536.014"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F.R., Nepomuceno-Fern\u00e1ndez, \u00c1., Soler-Toscano, F.: An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. To appear in Journal of Applied Logic (2013), doi:10.1016\/j.jal.2013.07.002","DOI":"10.1016\/j.jal.2013.07.002"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40948-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:04:06Z","timestamp":1746025446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40948-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409479","9783642409486"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40948-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}