{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T20:06:58Z","timestamp":1781899618491,"version":"3.54.5"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T00:00:00Z","timestamp":1528070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11225-018-9798-4","type":"journal-article","created":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T15:31:34Z","timestamp":1528126294000},"page":"457-488","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["The Dynamics of Epistemic Attitudes in Resource-Bounded Agents"],"prefix":"10.1007","volume":"107","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,4]]},"reference":[{"key":"9798_CR1","unstructured":"\u00c5gotnes, T., and N.\u00a0Alechina, Semantics for dynamic syntactic epistemic logics, in Proceedings of the Tenth International Conference on Knowledge Representation and Reasoning (KR 2006). AAAI Press, 2006, pp. 411\u2013419."},{"issue":"2","key":"9798_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s10849-014-9201-4","volume":"23","author":"T \u00c5gotnes","year":"2014","unstructured":"\u00c5gotnes, T., and N. Alechina, A logic for reasoning about knowledge of unawareness, Journal of Logic, Language and Information 23(2):197\u2013217, 2014.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"9798_CR3","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jal.2008.12.002","volume":"8","author":"T \u00c5gotnes","year":"2014","unstructured":"\u00c5gotnes, T., P. Balbiani, H. van Ditmarsch, and P. Seban, Group announcement logic, Journal of Applied Logic 8(1):62\u201381, 2014.","journal-title":"Journal of Applied Logic"},{"key":"9798_CR4","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., and M.\u00a0Walicki, Syntactic knowledge: A logic of reasoning, communication and cooperation, in Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS 2004), 2004.","DOI":"10.1145\/1082473.1082660"},{"key":"9798_CR5","unstructured":"Alechina, N., B.\u00a0Logan, and M.\u00a0Whitsey, A complete and decidable logic for resource-bounded agents, in Proceedings of AAMAS 2014. IEEE Computer Society, 2004, pp. 606\u2013613."},{"issue":"4","key":"9798_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"SN Art\u00ebmov","year":"2008","unstructured":"Art\u00ebmov, S. N., The logic of justification, Rewiev of Symbolic Logic 1(4):477\u2013513, 2008.","journal-title":"Rewiev of Symbolic Logic"},{"key":"9798_CR7","doi-asserted-by":"crossref","unstructured":"Baddeley, A.\u00a0D., and G.\u00a0Hitch, Working memory, in G.\u00a0H. Bower, (ed.), The Psychology of Learning and Motivation: Advances in Research and Theory. Academic Press, 1974, pp. 47\u201389.","DOI":"10.1016\/S0079-7421(08)60452-1"},{"issue":"2","key":"9798_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., and L.\u00a0S.\u00a0Moss, Logics for epistemic programs, Synthese 139(2):165\u2013224, 2004.","journal-title":"Synthese"},{"key":"9798_CR9","unstructured":"Baltag, A., and S.\u00a0Smets, A qualitative theory of dynamic interactive belief revision, in Proceedings of LOFT 7. Amsterdam University Press, 2008, pp. 13\u201360."},{"key":"9798_CR10","doi-asserted-by":"crossref","unstructured":"Cowan, N., An embedded process model of working memory, in A.\u00a0Miyake and P.\u00a0Shah, (eds.), Models of Working Memory: Mechanisms of Active Maintenance and Executive Control. Cambridge University Press, 1999, pp. 62\u2013101.","DOI":"10.1017\/CBO9781139174909.006"},{"issue":"5","key":"9798_CR11","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"HN Duc","year":"1997","unstructured":"Duc, H. N., Reasoning about rational, but not logically omniscient, agents, Journal of Logic and Computation 7(5):633\u2013648, 1997.","journal-title":"Journal of Logic and Computation"},{"key":"9798_CR12","unstructured":"Elgot-Drapkin, J., S. Kraus, M. Miller, M. Nirkhe, and D.\u00a0Perlis, Active logics: A unified formal approach to episodic reasoning, Technical Report CS-TR-4072, 1999."},{"key":"9798_CR13","doi-asserted-by":"crossref","unstructured":"Elgot-Drapkin, J., M. Miller, and D.\u00a0Perlis, Life on a desert island: Ongoing work in real-time reasoning, in Proceedings of the 1987 Workshop on The Frame Problem. Morgan Kaufmann, 1987, pp. 349\u2013357.","DOI":"10.1016\/B978-0-934613-32-3.50027-7"},{"key":"9798_CR14","unstructured":"Elgot-Drapkin, J., M. Miller, and D.\u00a0Perlis, Memory, reason and time: the step-logic approach, in R.\u00a0Cummins and J.\u00a0L.\u00a0Pollock, (eds.), Philosophy and AI: Essays at the Interface, MIT Press, 1991."},{"key":"9798_CR15","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., and J.\u00a0Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"9798_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., J.\u00a0Y. Halpern, Y.\u00a0Moses, and M.\u00a0Y. Vardi, Reasoning About Knowledge. MIT Press, 1995."},{"key":"9798_CR17","doi-asserted-by":"crossref","unstructured":"Gasquet, O., and A. Herzig, Translating inaccessible worlds logic into bimodal logic, in Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU \u201993). Springer, 1993, pp. 145\u2013150.","DOI":"10.1007\/BFb0028194"},{"key":"9798_CR18","doi-asserted-by":"crossref","unstructured":"Gasquet, O., and A. Herzig, Translation-based deduction methods for modal logics, in Proceedings of the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU\u201994). Springer, 1995, pp. 399\u2013408.","DOI":"10.1007\/BFb0035973"},{"key":"9798_CR19","doi-asserted-by":"crossref","unstructured":"Goldman, A., Theory of mind, in E.\u00a0Margolis, R.\u00a0Samuels, and S.\u00a0Stich, (eds.), Oxford Handbook of Philosophy and Cognitive Science, Oxford University Press, 2012.","DOI":"10.1093\/oxfordhb\/9780195309799.013.0017"},{"key":"9798_CR20","doi-asserted-by":"crossref","unstructured":"Goranko, V., Completeness and incompleteness in the bimodal base $${\\cal{L}}{(R,-R)}$$ L ( R , - R ) , in Mathematical Logic. Springer, 1990, pp. 311\u2013326.","DOI":"10.1007\/978-1-4613-0609-2_22"},{"issue":"4","key":"9798_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1010050603219","volume":"3","author":"J Grant","year":"2000","unstructured":"Grant, J., S.\u00a0Kraus, and D.\u00a0Perlis, A logic for characterizing multiple bounded agents, Autonomous Agents and Multi-Agent Systems 3(4):351\u2013387, 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9798_CR22","doi-asserted-by":"crossref","unstructured":"Grossi, D., and F.\u00a0R. Vel\u00e1zquez-Quesada, Twelve angry men: A study on the fine-grain of announcements, in Proceedings of LORI 2009, Volume 5834 of LNCS. Springer, 2009, pp. 147\u2013160.","DOI":"10.1007\/978-3-642-04893-7_12"},{"key":"9798_CR23","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J Halpern","year":"1992","unstructured":"Halpern, J., and Y.\u00a0Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9798_CR24","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.geb.2009.02.001","volume":"67","author":"JY Halpern","year":"2009","unstructured":"Halpern, J.\u00a0Y., and L.\u00a0C. R\u00eago, Reasoning about knowledge of unawareness, Games and Economic Behavior 67(2):503\u2013525, 2009.","journal-title":"Games and Economic Behavior"},{"key":"9798_CR25","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J., Impossible possible worlds vindicated, Journal of Philosophical Logic 4:475\u2013484, 1975.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9798_CR26","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"IL Humberstone","year":"1983","unstructured":"Humberstone, I. L., Inaccessible worlds, Notre Dame Journal of Formal Logic 24(3):346\u2013352, 1983.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9798_CR27","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0010-0277(82)90023-3","volume":"11","author":"D Kahneman","year":"1982","unstructured":"Kahneman, D., and A.\u00a0Tversky., Variants of uncertainty, Cognition 11:143\u2013157, 1982.","journal-title":"Cognition"},{"key":"9798_CR28","doi-asserted-by":"crossref","unstructured":"Konolige, K., What awareness isn\u2019t: A sentential view of implicit and explicit belief, in Proceedings of the 1st Conference on Theoretical Aspects of Reasoning About Knowledge (TARK\u201986). Morgan Kaufmann, 1986, pp. 241\u2013250.","DOI":"10.1016\/B978-0-934613-04-0.50019-3"},{"issue":"1","key":"9798_CR29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","volume":"18","author":"M Jago","year":"2009","unstructured":"Jago, M., Epistemic Logic for Rule-Based Agents, Journal of Logic, Language and Information 18(1):131\u2013158, 2009.","journal-title":"Journal of Logic, Language and Information"},{"key":"9798_CR30","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7688.001.0001","volume-title":"The Soar Cognitive Architecture","author":"J\u00a0E Laird","year":"2012","unstructured":"Laird, J.\u00a0E., The Soar Cognitive Architecture. MIT Press, 2012."},{"key":"9798_CR31","unstructured":"Levesque, H., A logic of implicit and explicit belief, in Proceedings of AAAI-84. AAAI Press, 1984, pp. 198\u2013202."},{"issue":"6","key":"9798_CR32","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1093\/logcom\/exs061","volume":"24","author":"T Lima de","year":"2014","unstructured":"de Lima, T., Alternating-time temporal dynamic epistemic logic, Journal of Logic and Computation 24(6):1145\u20131178, 2014.","journal-title":"Journal of Logic and Computation"},{"key":"9798_CR33","unstructured":"Lovett, M.\u00a0C., L.\u00a0M. Reder, and C.\u00a0Lebiere, Modeling working memory in a unified architecture: An ACT-R perspective, in A.\u00a0Miyake and P.\u00a0Shah, (eds.), Models of Working Memory: Mechanisms of Active Maintenance and Executive Control. Cambridge University Press, 1999, pp. 135\u2013182."},{"key":"9798_CR34","doi-asserted-by":"crossref","unstructured":"Lutz, C., Complexity and succinctness of public announcement logic, in Proceedings of AAMAS 2006. ACM Press, 2006, pp. 137\u2013144.","DOI":"10.1145\/1160633.1160657"},{"issue":"1\u20133","key":"9798_CR35","first-page":"61","volume":"99","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J., and E. Pacuit, Dynamic Logics of Evidence-Based Beliefs, Journal of Logic, Language and Information 99(1-3):61\u201392, 2011.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9798_CR36","first-page":"169","volume":"23","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H., and T. French, Semantics for knowledge and change of awareness, Journal of Logic, Language and Information 23(2):169\u2013195, 2014.","journal-title":"Journal of Logic, Language and Information"},{"key":"9798_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., W.\u00a0van\u00a0der Hoek, and B.\u00a0Kooi, Dynamic Epistemic Logic. Springer, 2008."},{"issue":"2","key":"9798_CR38","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","volume":"23","author":"FR Vel\u00e1zquez-Quesada","year":"2014","unstructured":"Vel\u00e1zquez-Quesada, F.\u00a0R., Dynamic Epistemic Logic for Implicit and Explicit Beliefs, Journal of Logic, Language and Information 23(2):107\u2013140, 2014.","journal-title":"Journal of Logic, Language and Information"},{"key":"9798_CR39","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F.\u00a0R., Explicit and implicit knowledge in neighbourhood models, in Proceedings of LORI 2013, Volume 8196 of LNCS. Springer, 2013, pp. 239\u2013252.","DOI":"10.1007\/978-3-642-40948-6_19"},{"key":"9798_CR40","doi-asserted-by":"crossref","unstructured":"Young, R.\u00a0M., and R.\u00a0L. Lewis, The Soar cognitive architecture and human working memory, in A.\u00a0Miyake and P.\u00a0Shah, (eds.), Models of Working Memory: Mechanisms of Active Maintenance and Executive Control. Cambridge University Press, 1999, pp. 135\u2013182.","DOI":"10.1017\/CBO9781139174909.010"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9798-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9798-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9798-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T07:59:43Z","timestamp":1720339183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9798-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,4]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9798"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9798-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,4]]},"assertion":[{"value":"4 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}