, Precisely, the postcondition is either restricted to epistemic formulas or defined by mutual recursion with the truth conditions
As usual, V , w 0 , the notation ||? || M stands for the set of possible worlds w ? W such that W, {R} i?I ,
, Otherwise the operation (.) E is undefined
, Precisely, updates are defined by mutual recursion with the truth conditions
, It is easy to see that it is equivalent to the axiomatisations one usually finds in papers about DELs, such as in Wang and Cao, 2013.
On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic, vol.50, pp.510-530, 1985. ,
Intelligent agents and multi-agent Systems, 7th Pacific Rim International Workshop on MultiAgents, PRIMA, Revised Selected Papers. Lecture Notes in Computer Science, vol.3371, pp.1-17, 2004. ,
Internal models and private multi-agent belief revision, 7th international joint conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) May, vol.2, pp.721-727, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00556084
Perspectives on belief and change (Unpublished doctoral dissertation), 2008. ,
BMS revisited, Proceedings of the 12th conference on Theoretical Aspects of Rationality and Knowledge, pp.24-33, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00556035
Global and local graph modifiers, Electronic Notes in Theoretical Computer Science, vol.231, pp.293-307, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00556034
On the complexity of dynamic epistemic logic, Proceedings of the 14th conference on theoretical aspects of rationality and knowledge, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00856468
Agents that look at one another, Logic Journal of the IGPL, vol.21, issue.3, pp.438-467, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01138505
Some truths are best left unsaid, Advances in Modal Logic 9, pp.36-54, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00866705
Logics for epistemic programs, Synthese, vol.139, issue.2, pp.165-224, 2004. ,
The logic of public announcements, common knowledge, and private suspicions, Proceedings of the 7th conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), pp.43-56, 1998. ,
Group belief dynamics under iterated revision: Fixed points and cycles of joint upgrades, Proceedings of 16th international workshop on logic, language, information and computation, vol.5514, pp.41-50, 2009. ,
Announcements to attentive agents, Journal of Logic, Language and Information, vol.25, issue.1, pp.1-35, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01585237
Building epistemic logic from observations and public announcements, Principles of knowledge representation and reasoning: Proceedings of the fifteenth international conference, pp.268-277, 2016. ,
Arbitrary public announcement logic with mental programs, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp.1471-1479, 2015. ,
AGM 25 years-twenty five years of research in belief change, Journal of Philosophical Logic, vol.40, issue.2, pp.295-331, 2011. ,
STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3/4, pp.189-208, 1971. ,
Succinctness of epistemic languages, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.881-886, 2011. ,
, Many-dimensional modal logics: Theory and applications, vol.148, 2003.
Bisimulations on Planet Kripke (Unpublished doctoral dissertation), 1999. ,
Reasoning about information change, Journal of Logic, Language and Information, vol.6, issue.2, pp.147-169, 1997. ,
A composable language for action models, Advances in Modal Logic 10, pp.197-216, 2014. ,
The PMA revisited, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pp.40-50, 1996. ,
Handbook of defeasible reasoning and uncertainty management, Belief change, vol.3, pp.189-231, 1998. ,
Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments, Principles of knowledge representation and reasoning: Proceedings of the fourteenth international conference, 2014. ,
A modal logic of perceptual belief, Epistemology, context, and formalism, pp.197-211, 2014. ,
A poor man's epistemic logic based on propositional assignment and higher-order observation, Logic, Rationality, and Interaction -5th International Workshop, LORI 2015 Taipei, pp.156-168, 2015. ,
Epistemic boolean games based on a logic of visibility and control, Proceedings of the twenty-fifth international joint conference on artificial intelligence, pp.1116-1122, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01530163
How to share knowledge by gossiping, Multi-agent systems and agreement technologies -13th european conference, EUMAS 2015, and third international conference, vol.9571, pp.249-263, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01567082
Knowledge and belief, 1962. ,
Improvement operators, Principles of knowledge representation and reasoning: Proceedings of the eleventh international conference, pp.177-187, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00800745
Knowledge, chance, and change (Unpublished doctoral dissertation), 2003. ,
Expressivity and completeness for public update logic via reduction axioms, Journal of Applied Non-Classical Logics, vol.17, issue.2, pp.231-253, 2007. ,
Arrow update logic. The Review of Symbolic Logic, vol.4, pp.536-559, 2011. ,
Generalized arrow update logic, Proceedings of the 13th conference on theoretical aspects of rationality and knowledge (tark-2011), pp.205-211, 2011. ,
Parallel interpolation, splitting, and relevance in belief change, Journal of Symbolic Logic, vol.72, issue.3, pp.994-1002, 2007. ,
Recent work in epistemic logic, 1978. ,
Knowledge in multiagent systems: initial configurations and broadcast, ACM Transactions on Computational Logic, vol.1, issue.2, pp.247-284, 2000. ,
Complexity and succintness of public announcement logic, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp.137-144, 2006. ,
An automata-theoretic approach to uniform interpolation and approximation in the description logic EL, Principles of knowledge representation and reasoning: Proceedings of the thirteenth international conference, 2012. ,
Foundations for uniform interpolation and forgetting in expressive description logics, IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, pp.989-995, 2011. ,
Ignorance is bliss: observability-based dynamic epistemic logics and their applications (Unpublished doctoral dissertation), 2016. ,
A formal theory of knowledge and action, Formal Theories of the Commonsense World, pp.319-358, 1985. ,
Beliefs, belief revision, and splitting languages, Logic, language, and computation, vol.2, pp.266-278, 1999. ,
Logics of public communications, Proceedings of the 4th international symposium on methodologies for intelligent systems, pp.201-216, 1989. ,
Logics of public communications, Synthese, vol.158, issue.2, pp.165-179, 2007. ,
Knowledge in action: Logical foundations for specifying and implementing dynamical systems, 2001. ,
Model checking temporal logics of knowledge via OBDDs, Comput. J, vol.50, issue.4, pp.403-420, 2007. ,
Computing ramifications by postprocessing, Proceedings of 14th international joint conference on artificial intelligence (ijcai'95), pp.1994-2000, 1995. ,
Causality and the qualification problem Aiello, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pp.51-62, 1996. ,
Qualified ramifications, Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, pp.466-471, 1997. ,
One is a lonely number: On the logic of communication, Logic colloquium'02, vol.89, pp.96-129, 1997. ,
Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, vol.17, issue.2, pp.129-155, 2007. ,
Symbolic model checking for dynamic epistemic logic, Logic, Rationality, and Interaction -5th International Workshop, LORI 2015 Taipei, vol.175, pp.366-378, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01261492
Logics of communication and change, Information and Computation, vol.204, issue.11, pp.1620-1662, 2006. ,
A logic of revelation and concealment, Proceedings of the 11th international conference on autonomous agents and multiagent systems, pp.1115-1122, 2012. ,
Knowledge games (Unpublished doctoral dissertation), Journal of Logic. Language and Information (JoLLI), vol.11, pp.349-365, 2000. ,
Prolegomena to dynamic logic for belief revision, Synthese, vol.147, issue.2, pp.229-275, 2005. ,
From Situation Calculus to Dynamic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00868361
Dynamic epistemic logic with assignment, 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp.141-148, 2005. ,
Dynamic epistemic logic, Synthese Library, vol.337, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00868361
Composing models, Journal of Applied Non-Classical Logics, vol.21, issue.3-4, pp.397-425, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00535882
As far as I know. Epistemic logic and uncertainty (Unpublished doctoral dissertation), 1993. ,
An alternative axiomatization of DEL and its applications, IJCAI 2013, proceedings of the 23rd international joint conference on artificial intelligence, pp.1139-1146, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00856470
On axiomatizations of public announcement logic, Synthese, vol.190, pp.103-134, 2013. ,
Reasoning about action using a possible models approach, Proceedings 7th conference on artificial intelligence, pp.89-93, 1988. ,