{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:12:45Z","timestamp":1757452365000},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,3,25]],"date-time":"2014-03-25T00:00:00Z","timestamp":1395705600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10849-014-9193-0","type":"journal-article","created":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T08:49:57Z","timestamp":1395650997000},"page":"107-140","source":"Crossref","is-referenced-by-count":31,"title":["Dynamic Epistemic Logic for Implicit and Explicit Beliefs"],"prefix":"10.1007","volume":"23","author":[{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,25]]},"reference":[{"issue":"1","key":"9193_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., & Alechina, N. (2007). The dynamics of syntactic knowledge. Journal of Logic and Computation, 17(1), 83\u2013116. doi: 10.1093\/logcom\/exl019 .","journal-title":"Journal of Logic and Computation"},{"key":"9193_CR2","unstructured":"\u00c5gotnes, T., & Alechina, N. (eds.). (2009). Special issue on logics for resource bounded agents. Journal of Logic, Language and Information, 18(1)."},{"issue":"2","key":"9193_CR3","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 510\u2013530. doi: 10.2307\/2274239 .","journal-title":"The Journal of Symbolic Logic"},{"key":"9193_CR4","doi-asserted-by":"crossref","unstructured":"Aliseda A (2006) Abductive reasoning. Logical investigations into discovery and explanation, synthese library series (vol. 330). Berlin: Springer.","DOI":"10.1007\/1-4020-3907-7"},{"key":"9193_CR5","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicions. Tech. Rep. SEN-R9922, CWI, Amsterdam."},{"key":"9193_CR6","first-page":"13","volume-title":"Logic and the foundations of game and decision theory (LOFT7), texts in logic and games","author":"A Baltag","year":"2008","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the foundations of game and decision theory (LOFT7), texts in logic and games (Vol. 3, pp. 13\u201360). The Netherlands: Amsterdam University Press Amsterdam."},{"key":"9193_CR7","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001) Modal logic. No. 53 in Cambridge tracts in theoretical computer science. New York, USA: Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"9193_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49","author":"O Board","year":"2004","unstructured":"Board, O. (2004). Dynamic interactive epistemology. Games and Economic Behavior, 49(1), 49\u201380. doi: 10.1016\/j.geb.2003.10.006 .","journal-title":"Games and Economic Behavior"},{"issue":"1","key":"9193_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C Boutilier","year":"1994","unstructured":"Boutilier, C. (1994). Conditional logics of normality: A modal approach. Artificial Intelligence, 68(1), 87\u2013154.","journal-title":"Artificial Intelligence"},{"key":"9193_CR10","unstructured":"Drapkin, J. J., & Perlis, D. (1986). Step-logics: An alternative approach to limited reasoning. In Proceedings of the European conference on artificial intelligence (pp. 160\u2013163), Brighton, England."},{"key":"9193_CR11","unstructured":"Duc, H. N. (1995). Logical omniscience vs. logical ignorance. on a dilemma of epistemic logic. In C. A. Pinto-Ferreira, N. J. Mamede (Eds.), EPIA 1995, Lecture Notes in Computer Science (vol. 990, pp 237\u2013248). Heilderberg: Springer."},{"key":"9193_CR12","unstructured":"Duc, H. N. (2001). Resource-bounded reasoning about knowledge. PhD thesis, Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, Leipzig, Germany."},{"key":"9193_CR13","doi-asserted-by":"crossref","unstructured":"Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39\u201376. doi: 10.1016\/0004-3702(87)90003-8 .","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"9193_CR14","volume-title":"Belief revision. No. 29 in Cambridge tracts in theoretical computer science","year":"1992","unstructured":"G\u00e4rdenfors, P. (Ed.). (1992). Belief revision. No. 29 in Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press."},{"key":"9193_CR15","unstructured":"G\u00e4rdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In M. Y. Vardi (Ed.), TARK II (pp. 83\u201395), Morgan Kaufmann."},{"key":"9193_CR16","first-page":"35","volume-title":"Handbook of logic in artificial intelligence and logic programming, vol Volume 4: Epistemic and temporal logics","author":"P G\u00e4rdenfors","year":"1994","unstructured":"G\u00e4rdenfors, P., & Rott, H. (1994). Belief revision. Handbook of logic in artificial intelligence and logic programming, vol Volume 4: Epistemic and temporal logics (pp. 35\u2013132). Oxford & New York: Oxford University Press."},{"key":"9193_CR17","unstructured":"Gerbrandy, J, (1999), Bisimulations on planet kripke. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, ILLC Dissertation Series DS-1999-01."},{"key":"9193_CR18","doi-asserted-by":"crossref","unstructured":"Grossi, D., & Vel\u00e1zquez-Quesada, F. R. (2009). Twelve angry men: A study on the fine-grain of announcements. In He et al. pp 147\u2013160. doi: 10.1007\/978-3-642-04893-7_12 .","DOI":"10.1007\/978-3-642-04893-7_12"},{"issue":"2","key":"9193_CR19","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17(2), 157\u2013170. doi: 10.1007\/BF00247909 .","journal-title":"Journal of Philosophical Logic"},{"key":"9193_CR20","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. (ed.). (1986). Proceedings of the 1st conference on theoretical aspects of reasoning about knowledge, Monterey, CA\/ San Francisco, CA: Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-04-0.50004-1"},{"key":"9193_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge, MA: MIT Press."},{"key":"9193_CR22","doi-asserted-by":"crossref","unstructured":"He, X., Horty, J. F., & Pacuit, E. (eds.). (2009). Proceedings of the logic, rationality, and interaction, second international workshop (LORI 2009), Chongqing, China, October 8\u201311, 2009. Lecture Notes in Computer Science (vol. 5834). Berlin: Springer. doi: 10.1007\/978-3-642-04893-7 .","DOI":"10.1007\/978-3-642-04893-7"},{"key":"9193_CR23","volume-title":"Knowledge and belief: An introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Ithaca, NY: Cornell University Press."},{"key":"9193_CR24","unstructured":"Holliday, W. H., & Icard, T. F. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in modal logic (pp. 178\u2013199), College Publications."},{"issue":"1","key":"9193_CR25","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","volume":"18","author":"M Jago","year":"2009","unstructured":"Jago, M. (2009). Epistemic logic for rule-based agents. Journal of Logic, Language and Information, 18(1), 131\u2013158. doi: 10.1007\/s10849-008-9071-8 .","journal-title":"Journal of Logic, Language and Information"},{"key":"9193_CR26","unstructured":"Konolige, K. (1984). Belief and incompleteness. Tech. Rep. 319, SRI International."},{"key":"9193_CR27","doi-asserted-by":"crossref","unstructured":"Lakemeyer, G. (1986). Steps towards a first-order logic of explicit and implicit belief. In Halpern (1986) (pp. 325\u2013340).","DOI":"10.1016\/B978-0-934613-04-0.50027-2"},{"key":"9193_CR28","first-page":"357","volume-title":"KR 91","author":"P Lamarre","year":"1991","unstructured":"Lamarre, P. (1991). S4 as the conditional logic of nonmonotonicity. In J. F. Allen, R. Fikes, & E. Sandewall (Eds.), KR 91 (pp. 357\u2013367). Cambridge, MA: Morgan Kaufmann."},{"key":"9193_CR29","unstructured":"Levesque, H. J. (1984). A logic of implicit and explicit belief. In Proceedings of the AAAI-84 (pp. 198\u2013202), Austin, TX."},{"key":"9193_CR30","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Cambridge, MA: Blackwell."},{"key":"9193_CR31","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems, Oak Ridge National Laboratory (ORNL\/DSRD-24) (pp. 201\u2013216), Tennessee, USA."},{"key":"9193_CR32","doi-asserted-by":"crossref","unstructured":"Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. No. 42 in Oxford Logic Guides, Oxford Science Publications.","DOI":"10.1093\/oso\/9780198503064.001.0001"},{"key":"9193_CR33","doi-asserted-by":"crossref","unstructured":"Segerberg, K. (2001). The basic dynamic doxastic logic of AGM. In Williams and Rott (2001) (pp. 57\u201384).","DOI":"10.1007\/978-94-015-9817-0_3"},{"issue":"1","key":"9193_CR34","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128(1), 169\u2013199. doi: 10.1007\/s11098-005-4062-y .","journal-title":"Philosophical Studies"},{"issue":"2","key":"9193_CR35","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. doi: 10.3166\/jancl.17.129-155 .","journal-title":"Journal of Applied Non-classical Logics"},{"issue":"1","key":"9193_CR36","first-page":"1","volume":"1","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J. (2008). Merging observation and access in dynamic logic. Journal of Logic Studies, 1(1), 1\u201317.","journal-title":"Journal of Logic Studies"},{"key":"9193_CR37","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."},{"issue":"2","key":"9193_CR38","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J., & Liu, F. (2007). Dynamic logic of preference upgrade. Journal of Applied Non-classical Logics, 17(2), 157\u2013182. doi: 10.3166\/jancl.17.157-182 .","journal-title":"Journal of Applied Non-classical Logics"},{"issue":"11","key":"9193_CR39","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., & Kooi, B. (2006). Logics of communication and change. Information and Computation, 204(11), 1620\u20131662. doi: 10.1016\/j.ic.2006.04.006 .","journal-title":"Information and Computation"},{"key":"9193_CR40","doi-asserted-by":"crossref","unstructured":"van Benthem, J., & Vel\u00e1zquez-Quesada, F. R. (2010). The dynamics of awareness. Synthese (Knowledge, Rationality and Action), 177(Supplement 1), 5\u201327. doi: 10.1007\/s11229-010-9764-9 .","DOI":"10.1007\/s11229-010-9764-9"},{"key":"9193_CR41","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese, 147(2), 229\u2013275. doi: 10.1007\/s11229-005-1349-7 .","DOI":"10.1007\/s11229-005-1349-7"},{"key":"9193_CR42","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Herzig, A., Lang, J., & Marquis, P. (2009). Introspective forgetting. Synthese (Knowledge, Rationality and Action), 169(2), 405\u2013423. doi: 10.1007\/s11229-009-9554-4 .","DOI":"10.1007\/s11229-009-9554-4"},{"key":"9193_CR43","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":"9193_CR44","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H. P., & French, T. (2009). Awareness and forgetting of facts and agents. In Web intelligence\/IAT workshops (pp. 478\u2013483), IEEE. doi: 10.1109\/WI-IAT.2009.330 .","DOI":"10.1109\/WI-IAT.2009.330"},{"key":"9193_CR45","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Wang, Y. (2008). Propositional dynamic logic as a logic of belief revision. In W. Hodges, R. J. G. B. de Queiroz (Eds.), WoLLIC, Lecture Notes in Computer Science (vol. 5110, pp. 136\u2013148). Berlin: Springer. doi: 10.1007\/978-3-540-69937-8_13 .","DOI":"10.1007\/978-3-540-69937-8_13"},{"key":"9193_CR46","doi-asserted-by":"crossref","unstructured":"Vardi, M. Y. (1986). On epistemic logic and logical omniscience. In Halpern (1986) (pp. 293\u2013305).","DOI":"10.1016\/B978-0-934613-04-0.50024-7"},{"key":"9193_CR47","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2009a). Dynamic logics for explicit and implicit information. In He et al. (2009) (pp 325\u2013326). doi: 10.1007\/978-3-642-04893-7_31 .","DOI":"10.1007\/978-3-642-04893-7_31"},{"key":"9193_CR48","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2009b). Inference and update. Synthese (Knowledge, Rationality and Action), 169(2), 283\u2013300. doi: 10.1007\/s11229-009-9556-2 .","DOI":"10.1007\/s11229-009-9556-2"},{"key":"9193_CR49","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2011). Small steps in dynamics of information. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, ILLC Dissertation series DS-2011-02."},{"key":"9193_CR50","unstructured":"Veltman, F. (1985). Logics for conditionals. PhD thesis, Universiteit van Amsterdam."},{"key":"9193_CR51","doi-asserted-by":"crossref","unstructured":"Williams, M. A., & Rott, H. (eds.). (2001). Frontiers in belief revision, no. 22 in applied logic series. Dordrecht: Kluwer.","DOI":"10.1007\/978-94-015-9817-0"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9193-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9193-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9193-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T08:37:49Z","timestamp":1716626269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9193-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,25]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9193"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9193-0","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,25]]}}}