A. G. Bar-ley-m and . K. Kasabov-n, A Combined System for Update Logic and Belief Revision, Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, pp.1-17, 2004.

A. G. Pechoucek, . Petta-p, and . Varga-l, How Our Beliefs Contribute to Interpret Actions, Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005), pp.276-285, 2005.

. F. Bacchus, . Halpern-j, and . Levesque-h, Reasoning about noisy sensors and effectors in the situation calculus, Artificial Intelligence, vol.111, issue.1-2, pp.171-208, 1999.
DOI : 10.1016/S0004-3702(99)00031-4

B. A. and M. L. Solecki-s, The logic of Common Knowledge, Public Announcement, and Private Suspicions, Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp.43-56, 1998.

M. A. Baltag, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e

B. J. Van, Conditional Probability Meets Update Logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.409-421, 2003.

B. J. Van and G. J. Kooi-b, Dynamic Update with Probability, 2006.

B. L. Brandenburger-a and . Dekel-e, Lexicographic Probabilities and Choice under Uncertainty, Econometrica, vol.59, issue.1, pp.61-79, 1991.

B. C. Halpern-j and . Friedman-n, Belief Revision with Unreliable Observations, Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp.127-134, 1998.

. P. Van-ditmarsch-h, . W. Van-der-hoek, . P. Kooi-b, . F. Dignum, . Dignum-v et al., Dynamic epistemic logic with assignment, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.141-148, 2005.
DOI : 10.1145/1082473.1082495

P. H. Dubois-d, Possibilistic Logic, Preferential Model and Related Issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991.

F. R. Halpern-j, Reasoning about Knowledge and Probability, Journal of the ACM (JACM), vol.41, issue.2, pp.340-367, 1994.

. J. Keisler-h, Elementary Calculus: an Approach Using Infinitesi- mals, 1986.

. B. Kooi, Probabilistic Dynamic Epistemic Logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.381-408, 2003.
DOI : 10.1023/A:1025050800836

. B. Kooi, As the World Turns: On the Logic of Public Update, 2005.

. Lehmann-d, . E. Horvitz, and . Jensen-f, Generalized Qualitative Probability: Savage Revisited, Twelfth Conference on Uncertainty in Artificial Intelligence, pp.381-388, 1996.

. W. Lenzen, Recent Work in Epistemic Logic, Acta Philosophica, vol.30, 1978.

. Reiter-r, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, 2001.

R. De and L. G. , Changing Modalities, Journal of Logic and Computation, vol.14, issue.2, pp.251-275, 2004.

S. R. Levitt-t and . Kanal-l, A General Non-Probability Theory of Inductive Reasoning, Uncertainty in Artificial Intelligence, vol.4, pp.149-158, 1988.

W. E. De-mántaras-r and . Poole-d, General Belief Measure, Tenth Conference on Uncertainty in Artificial Intelligence, pp.575-582, 1994.

=. Assume-x, We have to show x+y = x +y and x