, and show that the BMS-axioms are EDL-valid, and that the BMS-inference rules preserve EDL-validity. As the inference rules of BMS and EDL are identical (i.e. modus ponens and necessitation) it is clear that the BMS-inference rules preserve EDL-theoremhood. It is straightforward to show that every instance of the BMSaxioms not involving dynamic operators is EDL-valid. So what remains is to prove that the BMS schemas R1, PROOF. We take advantage of the complete axiomatization of BMS-validities given in, p.2, 1998.
, The latter implies that there are worlds v and v ? such that wR a vR j v ? and M, v ? |= EDL ¬?. By the constraint nf
, Ernest Adams. The Logic of Conditionals, volume 86 of Synthese Library, p.94, 1975.
, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331
, Two notions of epistemic validity (epistemic models for Ramsey's conditionals), Synthese, vol.109, pp.217-262, 1996.
, From DEL to EDL: Exploring the Power of Converse Events, European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp.199-209, 2007.
DOI : 10.1007/978-1-4020-5839-4
URL : https://hal.archives-ouvertes.fr/inria-00556150
, Internal models and private multi-agent belief revision, Proceedings of Autonomous Agents and Multi-agent Systems, pp.721-727, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00556084
, Interpreting an action from what we perceive and what we expect, Journal of Applied Non-Classical Logics, vol.12, issue.4, pp.9-38, 2007.
DOI : 10.3166/jancl.17.9-38
URL : https://hal.archives-ouvertes.fr/inria-00556151
, Agreeing to Disagree, The Annals of Statistics, vol.4, issue.6, pp.1236-1239, 1976.
DOI : 10.1214/aos/1176343654
, Game theory, Game Theory, pp.1-54, 1977.
, 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
, Talkin'bout Kripke models, International Workshop on Hybrid Logic, p.78, 2007.
, What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability, Theoretical Aspects of Rationality and Knowledge (TARK), pp.42-51, 2007.
, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e
, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38
, Alexandru Baltag, Larry Moss, and Slawomir Solecki. The logic of public announcements, common knowledge and private suspicions, p.55, 1999.
, Recent results on belief, knowledge and the epistemic foundations of game theory, Research in Economics, vol.53, issue.2, pp.149-225, 1999.
DOI : 10.1006/reec.1999.0187
, Jonathan Ben-Naim. Lack of finite characterizations for the distancebased revision, Proceedings of Knowledge Representation, pp.239-248, 2006.
, A practical approach to revising prioritized knowledge bases, 1999 Third International Conference on Knowledge-Based Intelligent Information Engineering Systems. Proceedings (Cat. No.99TH8410), pp.105-130, 2002.
DOI : 10.1109/KES.1999.820146
, Modal Logic, volume 53 of Cambridge Tracts in Computer Science, pp.12-14, 2001.
, Lexicographic Probabilities and Choice Under Uncertainty, Econometrica, vol.59, issue.1, pp.61-79, 0115.
DOI : 10.2307/2938240
, Epistemic Logic in the later Middle Ages, Routledge, issue.5, 1993.
, On the Logic of Common Belief, Mathematical Logic Quarterly, vol.60, issue.1, pp.305-311, 1996.
DOI : 10.1002/malq.19960420126
, A method for reasoning about other agents' beliefs from observations, Texts in Logic and Games, p.18, 2007.
, Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs, Journal of Logic and Computation, vol.18, issue.5, p.18, 2007.
DOI : 10.1093/logcom/exm091
, Belief revision with unreliable observations, Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp.127-134, 1998.
, A Formal Model of Multi-Agent Belief-Interaction, Journal of Logic, Language and Information, vol.25, issue.4, pp.397-422, 2005.
DOI : 10.1007/s10849-005-4019-8
, Hintikka
Jaakko. Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca, N.Y., 1962, x + 179 pp., The Journal of Symbolic Logic, vol.29, issue.03, pp.132-134, 1964.
DOI : 10.2307/2271621
, Samir Chopra and Rohit Parikh. An inconsistency tolerant model for belief representation and belief revision, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pp.192-199, 1999.
, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990.
DOI : 10.1016/0004-3702(90)90055-5
, Thomas Cover and Joy Thomas. Elements of Information Theory, 1991.
, On the logic of iterated belief revision, Artificial Intelligence, vol.89, issue.1-2, pp.1-29, 1997.
DOI : 10.1016/S0004-3702(96)00038-0
, Tiago de Lima. Optimal Methods for Reasoning About Actions and Plans in Multi-agent Systems, p.130, 2007.
, Didier Dubois andHéì ene Fargier. A unified framework for order-of-magnitude confidence relation, Twentieth Conference in Artificial Intelligence, pp.138-145, 2004.
, Didier Dubois and Henri Prade Possibilistic logic, preferential model and related issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991.
, Resource-Bounded Reasoning about Knowledge, p.32, 2001.
, Belief, awareness, and limited reasoning, Artificial Intelligence, vol.34, issue.1, pp.39-76, 1988.
DOI : 10.1016/0004-3702(87)90003-8
, Reasoning about knowledge and probability, Journal of the ACM, vol.41, issue.2, pp.340-367, 1994.
DOI : 10.1145/174652.174658
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.8779
, Reasoning about knowledge, pp.17-112, 1995.
, Handbook of Logic in Artificial Intelligence and Logic Programming Epistemic and temporal reasoning, chapter Belief Revision, pp.35-132, 1995.
, Knowledge in Flux (Modeling the Dynamics of Epistemic States, pp.58-59, 1988.
, Asymmetry thesis and sideeffect problems in linear time and branching time intention logics, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp.498-504, 1991.
, Reasoning about information change, Journal of Logic, Language and Information, vol.6, issue.2, pp.147-196, 1997.
DOI : 10.1023/A:1008222603071
, Bisimulation on Planet Kripke. ILLC dissertation series, p.35, 1999.
, Is justified true belief knowledge? Analysis, pp.121-123, 1963.
, Two modellings for theory change, Journal of Philosophical Logic, vol.17, issue.57, pp.157-170, 1988.
, Joseph Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, vol.54, pp.311-379, 1992.
, Reasoning about Uncertainty, 2003.
, Dynamic Logic, p.127, 2000.
, Probability Logic for Type Spaces, Games and Economic Behavior, vol.35, issue.1-2, pp.31-53, 2001.
DOI : 10.1006/game.1999.0788
, Dominique Longin, and Thomas Polacsek . A logic for planning under partial observability, AAAI/IAAI, pp.768-773, 2000.
, Revision and update in multiagent belief structures, 5th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6), p.56, 2004.
, On the difference between updating a knowledge base and revising it, Proceedings of Knowledge Representation, pp.387-394, 1991.
DOI : 10.1017/CBO9780511526664.007
, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.72, pp.263-294, 1992.
, Elementary Calculus: an Approach Using Infinites- imals, 1986.
, Probabilistic dynamic epistemic logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.381-408, 2003.
DOI : 10.1023/A:1025050800836
, Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics, vol.1, issue.2, pp.231-253, 2007.
DOI : 10.1017/CBO9780511569852
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.495.7754
, Knowledge, belief and time, Theoretical Computer Science, vol.58, issue.1-3, pp.155-174, 1988.
DOI : 10.1016/0304-3975(88)90024-2
URL : http://doi.org/10.1016/0304-3975(88)90024-2
, Abstract, The Journal of Symbolic Logic, vol.651, issue.01, pp.295-317, 2001.
DOI : 10.1093/logcom/2.6.675
, Generalized qualitative probability: Savage revisited, Twelfth Conference on Uncertainty in Artificial Intelligence, pp.381-388, 1996.
, Knowledge: Undefeated Justified True Belief, The Journal of Philosophy, vol.66, issue.8, pp.225-237, 1969.
DOI : 10.2307/2024435
, A logic of implicit and explicit knowledge, AAAI-84, pp.198-202, 1984.
, An introduction to Kolmogorov complexity and its applications. Graduate texts in computer science, 1993.
, On the logic of common belief and common knowledge, Theory and Decision, vol.42, issue.1, pp.75-106, 1994.
DOI : 10.1007/BF01079206
, Emiliano Lorini and Cristiano Castelfranchi. The cognitive structure of surprise: looking for basic principles, Topoi: An International Review of Philosophy, vol.26, issue.1, pp.133-149, 2007.
, Epistemology Futures, chapter On the Gettier Problem Problem, pp.148-168, 2006.
, Epistemic Logic for AI and Computer Science, p.5, 1995.
DOI : 10.1017/CBO9780511569852
, Refined epistemic entrenchment, Journal of Logic, Language and Information, vol.9, issue.2, pp.237-259, 2000.
DOI : 10.1023/A:1008316802976
, Rogier van Eijk, Koen Hindriks, and Wiebe van der Hoek. On programming KARO agents, Logic Journal of the IGPL, vol.9, issue.2, p.19, 2001.
, Rohit Parikh and Ramaswamy Ramanujam. A knowledge based semantics of messages, Journal of Logic, Language and Information, vol.12, issue.4, pp.453-467, 2003.
DOI : 10.1023/A:1025007018583
, Logics of public communcations, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp.201-216, 1989.
, Semantical considerations on floyd-hoare logic, Proceedings of the 17th IEEE Symposium on the Foundations of Computer Science, pp.109-121, 1976.
, Modeling rational agents within a BDI-architecture, Proceedings of Knowledge Representation and Reasoning (KR & R-91), pp.473-484, 1991.
, Changing Modalities, Journal of Logic and Computation, vol.14, issue.2, pp.251-275, 2004.
DOI : 10.1093/logcom/14.2.251
, Eploring the update universe, p.55, 2004.
, Logic for update products and steps into the past, Annals of Pure and Applied Logic, vol.161, issue.12, p.140, 2007.
DOI : 10.1016/j.apal.2010.04.011
, Temporal Languages for Epistemic Programs, Journal of Logic, Language and Information, vol.4, issue.2, pp.183-216, 2008.
DOI : 10.1007/s10849-007-9054-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.5286
, Completeness and Correspondence in the First and Second Order Semantics for Modal Logic, Proceedings of the 3rd Scandinavian Logic Symposium 1973, number 82 in Studies in Logic, p.132, 1975.
DOI : 10.1016/S0049-237X(08)70728-6
, Two Traditions in the Logic of Belief: Bringing them Together, Logic, Language and Reasoning: essays in honour of Dov Gabbay, pp.135-147, 1999.
DOI : 10.1007/978-94-011-4574-9_8
, A general non-probability theory of inductive reasoning, Uncertainty in Artificial Intelligence, vol.4, pp.149-158, 1988.
, On Logics of Knowledge and Belief, Philosophical Studies, vol.11, issue.1, pp.169-199, 2006.
DOI : 10.1007/s11098-005-4062-y
, Total Public Announcements, Symposium on Logical Foundations of Computer Science (LFCS'07), pp.498-511, 2007.
DOI : 10.1007/978-3-540-72734-7_35
, A system for consistency preserving belief change, ESSLLI'06: Proceedings of the European Summer School in Logic, Language and Information, Workshop on Rationality and Knowledge Association for Logic, Language and Information, pp.133-144, 2006.
, Communication among agents: a way to revise beliefs in KD45 Kripke structures???, Journal of Applied Non-Classical Logics, vol.6, issue.4, pp.477-500, 2004.
DOI : 10.2307/2274239
URL : https://hal.archives-ouvertes.fr/halshs-00499348
, Reduction axioms for epistemic actions, AiML-2004: Advances in Modal Logic, number UMCS-04-9-1 in Technical Report Series, pp.197-211, 2004.
, Diversity of agents in games, Philosophia Scientiae, vol.8, issue.2, p.139, 2004.
, The tree of knowledge in action: Towards a common perspective, Advances in Modal Logic, pp.87-106, 2006.
, Dynamic Update with Probabilities, Studia Logica, vol.204, issue.11, p.123, 2006.
DOI : 10.1007/s11225-009-9209-y
, Logics of communication and change. Information and Computation, pp.1620-1662, 2006.
, Merging frameworks for interaction, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.72-82, 2007.
DOI : 10.1145/1324249.1324262
, Semantic prallels in natural language and computation, Logic Colloquium '87, p.35, 1989.
, Conditional probability meets update logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.409-421, 2003.
DOI : 10.1023/A:1025002917675
, One is a Lonely Number " : logic and communication Association for Symboloc Logic. 15 [ van der Hoek, 1993 ] Wiebe van der Hoek. Sytems for knowledge and belief, Logic Colloquium'02, pp.173-195, 1993.
, The secret of my success, Synthese, vol.151, pp.201-232, 2006.
, Concurrent dynamic epistemic logic, Knowledge Contributors, pp.105-143, 2003.
, Public announcements and belief expansion, Advances in Modal Logic, pp.335-346, 2004.
, Dynamic epistemic logic with assignment, Autonomous Agents and Multi-agent Systems (AAMAS 2005), pp.141-148, 2005.
, Model checking dynamic epistemics in branching time, Formal Approaches to Multi-agent Systems, p.139, 2007.
, Dynamic Epistemic Logic, volume 337 of Synthese library, 2007.
, Hans van Ditmarsch. Knowledge Games. ILLC dissertation series DS- 2000-06, p.35, 2000.
, Hans van Ditmarsch. Descriptions of game actions, Journal of Logic, Language and Information (JoLLI), vol.11, pp.349-365, 2002.
, Reducing dynamic epistemic logic to pdl by program transformation, p.140, 2004.
, Formalising Abilities and Opportunities of Agents, Fundamenta Informaticae, vol.34, issue.12, pp.53-101, 1998.
DOI : 10.1007/978-94-017-1741-0_10
, Defaults in update semantics, Journal of Philosophical Logic, vol.25, issue.3, pp.221-261, 1996.
DOI : 10.1007/BF00248150
, Reasoning About Rational Agents, 2000.