Simulative belief logic

Ågotnes, 2010, Group announcement logic, Journal of Applied Logic, 8, 62, 10.1016/j.jal.2008.12.002 Alchourrón, 1985, On the logic of theory change: Partial meet contraction and revision functions, The Journal of Symbolic Logic, 50, 510, 10.2307/2274239 Alechina, 2010, Belief ascription under bounded resources, Synthese, 173, 179, 10.1007/s11229-009-9706-6 Aucher, 2005, A combined system for update logic and belief revision, 1 Balbiani, 2008, ‘Knowable’ as ‘known after an announcement’, The Review of Symbolic Logic, 1, 305, 10.1017/S1755020308080210 J.A. Barnden, S. Helmreich, E. Iverson, G.C. Stein, An integrated implementation of simulative, uncertain and metaphorical reasoning about mental states, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, 1994, pp. 27–38. Braine, 1998 H. Chalupsky, S.C. Shapiro, Reasoning about incomplete agents, in: Proceedings of the Fifth International Conference on User Modeling, 1996, pp. 169–177. Fagin, 1995 Gordon, 1986, Folk psychology as simulation, Mind and Language, 1, 158, 10.1111/j.1468-0017.1986.tb00324.x Haas, 1986, A syntactic theory of belief and action, Artificial Intelligence, 28, 245, 10.1016/0004-3702(86)90051-2 Halpern, 1985, A guide to the modal logics of knowledge and belief: preliminary draft, 480 Halpern, 2004, Complete axiomatizations for reasoning about knowledge and time, SIAM Journal on Computing, 33, 674, 10.1137/S0097539797320906 Hintikka, 1962 Kaplan, 1999, Simulative inference in a computational model of belief, vol. 1, 185 Meyer, 1995 Rao, 1998, Modeling rational agents within a BDI-architecture, 317 Segerberg, 2001, The basic dynamic doxastic logic of agm, vol. 22, 57 van Benthem, 2004, What one may come to know, Analysis, 64, 95, 10.1093/analys/64.2.95 van der Hoek, 1992, Making some issues of implicit knowledge explicit, International Journal of Foundations of Computer Science, 3, 193, 10.1142/S0129054192000139 van Ditmarsch, 2007