{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:17:01Z","timestamp":1774624621666,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11229-009-9556-2","type":"journal-article","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T08:49:13Z","timestamp":1240908553000},"page":"283-300","source":"Crossref","is-referenced-by-count":16,"title":["Inference and update"],"prefix":"10.1007","volume":"169","author":[{"given":"Fernando Raymundo","family":"Vel\u00e1zquez-Quesada","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,4,29]]},"reference":[{"key":"9556_CR1","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicious. SEN-R9922. Amsterdam: CWI."},{"key":"9556_CR2","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno et\u00a0al. (Eds.), LOFT7 (pp. 13\u201360). Amsterdam: AUP."},{"key":"9556_CR3","volume-title":"Knowledge and the flow of information","author":"F.I. Dretske","year":"1981","unstructured":"Dretske F.I. (1981) Knowledge and the flow of information. Basil Blackwell, Oxford"},{"issue":"5","key":"9556_CR4","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"H.N. Duc","year":"1997","unstructured":"Duc H.N. (1997) Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation 7(5): 633\u2013648","journal-title":"Journal of Logic and Computation"},{"key":"9556_CR5","unstructured":"Duc, H. N. (2001). Resource-bounded reasoning about knowledge. Ph.D. thesis, Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, Leipzig, Germany."},{"issue":"1","key":"9556_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin R., Halpern J.Y. (1988) Belief, awareness, and limited reasoning. Artificial Intelligence 34(1): 39\u201376","journal-title":"Artificial Intelligence"},{"issue":"3\u20134","key":"9556_CR7","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s11023-005-9005-z","volume":"15","author":"L. Floridi","year":"2005","unstructured":"Floridi L. (2005) Consciousness, agents and the knowledge game. Minds and Machines 15(3\u20134): 415\u2013444","journal-title":"Minds and Machines"},{"key":"9556_CR8","first-page":"67","volume-title":"Logic, language and computation","author":"J. Gerbrandy","year":"1999","unstructured":"Gerbrandy J. (1999) Dynamic epistemic logic. In: Moss L.S., Ginzburg J., Rijke M. (eds) Logic, language and computation. Stanford, CSLI, pp 67\u201384"},{"key":"9556_CR9","volume-title":"Knowledge and belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka J. (1962) Knowledge and belief. Cornell University Press, Ithaca, N.Y."},{"key":"9556_CR10","unstructured":"Jago, M. (2006a). Logics for resource-bounded agents. Ph.D. thesis, Department of Philosophy, University of Nottingham, Nottingham, UK."},{"key":"9556_CR11","unstructured":"Jago, M. (2006b). Rule-based and resource-bounded: A new look at epistemic logic. In T. \u00c5gotnes & N. Alechina (Eds.), Proceedings of the workshop on logics for resource-bounded agents, ESSLLI 2006 (pp. 63\u201377), Malaga, Spain."},{"key":"9556_CR12","unstructured":"Liu, F. (2008). Changing for the better. Preference dynamics and agent diversity. Ph.D. thesis, ILLC, Amsterdam. ILLC Dissertation series DS-2008-02."},{"key":"9556_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of logic and language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat M. (1997) Categorical type logics. In: van Benthem J., ter Meulen A. (eds) Handbook of logic and language. Elsevier, Amsterdam, pp 93\u2013177"},{"key":"9556_CR14","first-page":"201","volume-title":"International symposium on methodologies for intelligent systems","author":"J.A. Plaza","year":"1989","unstructured":"Plaza J.A. et\u00a0al (1989) Logics of public communications. In: Emrich M.L. (eds) International symposium on methodologies for intelligent systems. Oak Ridge National Laboratory, Tennessee, pp 201\u2013216"},{"issue":"1","key":"9556_CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"K.M. Sim","year":"1997","unstructured":"Sim K.M. (1997) Epistemic logic and logical omniscience. A survey. International Journal of Intelligent Systems 12(1): 57\u201381","journal-title":"A survey. International Journal of Intelligent Systems"},{"key":"9556_CR16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s11098-005-4052-0","volume":"128","author":"J. Benthem van","year":"2006","unstructured":"van Benthem J. (2006) Epistemic logic and epistemology: The state of their affairs. Philosophical Studies 128: 49\u201376","journal-title":"Philosophical Studies"},{"issue":"2","key":"9556_CR17","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J. (2007) Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2): 129\u2013155","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9556_CR18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11225-008-9101-1","volume":"88","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J. (2008a) Logic and reasoning: Do the facts matter? Studia Logica 88(1): 67\u201384","journal-title":"Studia Logica"},{"issue":"1","key":"9556_CR19","first-page":"1","volume":"1","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J. (2008b) Merging observation and access in dynamic logic. Journal of Logic Studies 1(1): 1\u201317","journal-title":"Journal of Logic Studies"},{"key":"9556_CR20","first-page":"80","volume":"1","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J. (2008c) Tell it like it is: Information flow in logic. Journal of Peking University (Humanities and Social Science Edition) 1: 80\u201390","journal-title":"Journal of Peking University (Humanities and Social Science Edition)"},{"key":"9556_CR21","unstructured":"van Benthem, J., & Kooi B. (2004). Reduction axioms for epistemic actions. In R. Schmidt et\u00a0al. (Eds.), Advances in modal logic (Number UMCS-04-09-01 in Technical Report Series) (pp. 197\u2013211). Manchester: University of Manchester."},{"key":"9556_CR22","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi B. (2007). Dynamic epistemic logic. Synthese library series (Vol. 337). Berlin: Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9556_CR23","unstructured":"van Ditmarsch, H. P. (2000). Knowledge games. Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2000-06."},{"key":"9556_CR24","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2009). Dynamics in explicit and implicit information (Submitted).","DOI":"10.1007\/978-3-642-04893-7_31"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9556-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:43:07Z","timestamp":1558291387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9556-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,29]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9556"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9556-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,29]]}}}