L. Aceto, A. Ingólfsdóttir, C. Prisacariu, and J. Sack, Compositional Reasoning for Multi-modal Logics, LFCS, pp.1-15, 2013.
DOI : 10.1007/978-3-642-35722-0_1

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1
URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, 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

G. Aucher, Perspectives on belief and change, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00556089

G. Aucher, Private announcement and belief expansion: an internal perspective, Journal of Logic and Computation, vol.22, issue.3, 2010.
DOI : 10.1093/logcom/exq056
URL : https://hal.archives-ouvertes.fr/hal-00856474

G. Aucher, DEL-sequents for progression, Journal of Applied Non-Classical Logics, vol.36, issue.6, pp.3-4289, 2011.
DOI : 10.3166/jancl.21.289-321
URL : https://hal.archives-ouvertes.fr/hal-00674150

G. Aucher, DEL-sequents for regression and epistemic planning, Journal of Applied Non-Classical Logics, vol.17, issue.4, pp.337-367, 2012.
DOI : 10.1080/11663081.2012.736703
URL : https://hal.archives-ouvertes.fr/hal-00856471

G. Aucher, Outstanding Contributions: Johan F. A. K. van Benthem on Logical and Informational Dynamics, chapter DEL as a substructural logic. Trends in Logic, 2013.

G. Aucher and A. Herzig, Exploring the power of converse events. Dynamic Formal Epistemology, pp.51-74, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00557002

G. Aucher, B. Maubert, and F. Schwarzentruber, Generalized DEL-Sequents, Lecture Notes in Computer Science, vol.278, issue.2, pp.54-66, 2012.
DOI : 10.1016/j.entcs.2011.10.015
URL : https://hal.archives-ouvertes.fr/hal-00856472

A. Baltag, B. Coecke, and M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Actions, Electronic Notes in Theoretical Computer Science, vol.126, pp.27-52, 2005.
DOI : 10.1016/j.entcs.2004.11.012

A. Baltag, B. Coecke, and M. Sadrzadeh, Epistemic Actions as Resources, Journal of Logic and Computation, vol.17, issue.3, pp.555-585, 2007.
DOI : 10.1093/logcom/exm015

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

A. Baltag, L. Moss, and S. Solecki, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, 1999.
DOI : 10.1007/978-3-319-20451-2_38

A. Baltag and S. Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, Electronic Notes in Theoretical Computer Science, vol.165, pp.5-21, 2006.
DOI : 10.1016/j.entcs.2006.05.034

A. Baltag and S. Smets, Probabilistic dynamic belief revision, Synthese, vol.24, issue.11, pp.179-202, 2008.
DOI : 10.1007/s11229-008-9369-8

A. Baltag and S. Smets, Texts in Logic and Games, Qualitative Theory of Dynamic Interactive Belief Revision, vol.3, pp.9-58, 2008.

A. Baltag and S. Smets, Texts in Logic and Games, Logic of Conditional Doxastic Actions, pp.9-31, 2008.

J. Barwise, Constraints, channels, and the flow of information. Situation theory and its applications, pp.3-27, 1993.

J. Barwise and J. Perry, Situations and Attitudes, The Journal of Philosophy, vol.78, issue.11, 1983.
DOI : 10.2307/2026578

A. Batlag, L. S. Moss, and S. Solecki, The logic of public announcements and common knowledge and private suspicions, pp.43-56, 1998.

J. Beall, R. Brady, J. M. Dunn, A. Hazen, E. Mares et al., On the Ternary Relation and Conditionality, Journal of Philosophical Logic, vol.49, issue.3, pp.41595-612, 2012.
DOI : 10.1007/s10992-011-9191-5

J. P. Burgess, Quick completeness proofs for some logics of conditionals., Notre Dame Journal of Formal Logic, vol.22, issue.1, pp.76-84, 1981.
DOI : 10.1305/ndjfl/1093883341

A. Church, Application of recursive arithmetic to the problem of circuit synthesis, Summaries of the Summer Institute of Symbolic Logic, pp.3-50, 1957.

J. M. Dunn and G. Restall, Relevance logic. Handbook of philosophical logic, pp.1-128, 2002.

J. V. Eijck, J. Ruan, and T. Sadzik, Action emulation, Synthese, vol.204, issue.11, pp.131-151, 2012.
DOI : 10.1007/s11229-012-0083-1
URL : https://hal.archives-ouvertes.fr/hal-00756870

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 1995.

D. M. Gabbay, C. J. Hogger, J. A. Robinson, J. Siekmann, and D. Nute, Handbook of logic in artificial intelligence and logic programming, volume Nonmonotonic reasoning and uncertain reasoning, 1998.

P. Gärdenfors, Knowledge in Flux (Modeling the Dynamics of Epistemic States, 1988.

P. Gärdenfors, Belief revision and nonmonotonic logic: Two sides of the same coin?, pp.52-54, 1991.
DOI : 10.1007/BFb0018432

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935.
DOI : 10.1007/BF01201353

J. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

J. Hintikka, Knowledge and Belief, An Introduction to the Logic of the Two Notions, 1962.

C. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.567-580, 1969.

S. C. Kleene, N. De-bruijn, J. De-groot, and A. C. Zaanen, Introduction to metamathematics, 1971.

B. Kooi, 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

O. Kupferman and M. Y. Vardi, Abstract, Bulletin of Symbolic Logic, vol.48, issue.02, pp.245-263, 1999.
DOI : 10.1145/357084.357090

N. Kurtonina, Frames and Labels. A Modal Analysis of Categorial Deduction, 1995.

D. Leivant, On the proof theory of the modal logic for arithmetic provability, The Journal of Symbolic Logic, vol.44, issue.03, pp.531-538, 1981.
DOI : 10.1007/BF02757006

F. Liu, Changing for the Better: Preference Dynamics and Agent Diversity, 2008.

D. Makinson, Bridges from classical to nonmonotonic logic. King's College, 2005.

D. Makinson and P. Gärdenfors, Relations between the logic of theory change and nonmonotonic logic The Logic of Theory Change, Lecture Notes in Computer Science, vol.465, pp.185-205, 1989.

E. D. Mares, Relevant logic and the theory of information, Synthese, vol.19, issue.3, pp.345-360, 1996.
DOI : 10.1007/BF00413865

E. D. Mares and R. K. Meyer, The Blackwell guide to philosophical logic, chapter Relevant Logics, 2001.

R. Muskens, J. Van-benthem, and A. Visser, Handbook of logic and language, chapter Dynamics, pp.607-670, 2011.

D. Nute and C. B. Cross, Handbook of philosophical logic, Conditional logic, pp.1-98, 2001.

R. Parikh and R. 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

J. Perry and D. Israel, What is information? Information, Language, and Cognition, vol.1, 1990.

F. Poggiolesi, Gentzen calculi for modal propositional logic, 2010.
DOI : 10.1007/978-90-481-9670-8
URL : https://hal.archives-ouvertes.fr/halshs-00775804

V. R. Pratt, Semantical considerations on floyd-hoare logic, FOCS, pp.109-121, 1976.

F. Ramsey, Philosophical Papers, chapter General Propositions and Causality, 1929.

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

G. Restall, Information flow and relevant logics, Logic, Language and Computation: The 1994 Moraga Proceedings. CSLI, pp.463-477, 1996.

G. Restall, An Introduction to Substructural Logics, 2000.
DOI : 10.4324/9780203252642

G. Restall, Relevant and substructural logics. Handbook of the History of Logic, pp.289-398, 2006.

R. Routley and R. Meyer, The Semantics of Entailment, Studies in Logic and the Foundations of Mathematics, pp.199-243, 1973.
DOI : 10.1016/S0049-237X(08)71541-6

R. Routley and R. K. Meyer, The semantics of entailment?II, Journal of Philosophical Logic, vol.16, issue.1, pp.53-73, 1972.
DOI : 10.1007/BF00649991

R. Routley and R. K. Meyer, The semantics of entailment ? III, Journal of Philosophical Logic, vol.16, issue.2, pp.192-208, 1972.
DOI : 10.1007/BF00650498

R. Routley, V. Plumwood, M. , and R. K. , Relevant logics and their rivals, 1982.

G. Sambin and S. Valentini, The modal logic of provability. The sequential approach, Journal of Philosophical Logic, vol.1, issue.6, pp.311-342, 1982.
DOI : 10.1007/BF00293433

M. Shanahan, Solving the Frame Problem, 1997.

A. Urquhart, A general theory of implication, Journal of Symbolic Logic, vol.37, issue.443, p.270, 1972.

A. Urquhart, Semantics for relevant logics, The Journal of Symbolic Logic, vol.32, issue.01, pp.159-169, 1972.
DOI : 10.1007/BF00818100

A. I. Urquhart, Completeness of weak implication, Theoria, vol.59, issue.3, pp.274-282, 1971.
DOI : 10.1111/j.1755-2567.1971.tb00072.x

J. Van-benthem, GENERAL DYNAMICS, Theoretical Linguistics, vol.17, issue.1-3, pp.159-202, 1991.
DOI : 10.1515/thli.1991.17.1-3.159

J. Van-benthem, Exploring logical dynamics, 1996.

J. Van-benthem, Meaning: the Dynamic Turn, chapter Structural Properties of Dynamic Reasoning, pp.15-31, 2003.

J. Van-benthem, Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, vol.147, issue.11, pp.129-155, 2007.
DOI : 10.1007/BF00248150

J. Van-benthem, Inference in action, pp.3-16, 2007.

J. Van-benthem, Modal logic for open minds. CSLI publications, 2010.

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533

J. Van-benthem, McCarthy variations in a modal key, Artificial Intelligence, vol.175, issue.1, pp.428-439, 2011.
DOI : 10.1016/j.artint.2010.04.014

J. Van-benthem, J. Gerbrandy, T. Hoshi, and E. Pacuit, Merging frameworks for interaction, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.491-526, 2009.
DOI : 10.1145/1324249.1324262

J. Van-benthem, J. Gerbrandy, and B. Kooi, Dynamic Update with Probabilities, Studia Logica, vol.204, issue.11, pp.67-96, 2009.
DOI : 10.1007/s11225-009-9209-y

J. Van-benthem, J. Gerbrandy, and E. Pacuit, 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

J. Van-benthem, B. Kooi, R. Schmidt, I. Pratt-hartmann, M. Reynolds et al., Reduction axioms for epistemic actions Advances in Modal Logic, pp.197-211, 2004.

R. Van-der-meyden and M. Y. Vardi, Synthesis from knowledge-based specifications, Lecture Notes in Computer Science, vol.1466, pp.34-49, 1998.
DOI : 10.1007/BFb0055614

H. Van-ditmarsch, Prolegomena to Dynamic Logic for Belief Revision, Synthese, vol.147, pp.229-275, 2005.
DOI : 10.1007/1-4020-4631-6_7

H. Van-ditmarsch, W. Van-der-hoek, and B. Kooi, Public announcements and belief expansion, Advances in Modal Logic, pp.335-346, 2004.

H. Van-ditmarsch, W. Van-der-hoek, and B. Kooi, Dynamic Epistemic Logic, volume 337 of Synthese library, 2007.

H. P. Van-ditmarsch, A. Herzig, and T. D. Lima, From Situation Calculus to Dynamic Epistemic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2009.
DOI : 10.1093/logcom/exq024
URL : https://hal.archives-ouvertes.fr/hal-00868361

J. Van-eijck, Reducing dynamic epistemic logic to PDL by program transformation, 2004.

J. Van-eijck, F. Sietsma, W. , and Y. , Composing models, Journal of Applied Non-Classical Logics, vol.34, issue.2, pp.3-4397, 2011.
DOI : 10.3166/jancl.21.397-425
URL : https://hal.archives-ouvertes.fr/inria-00535882

H. Wansing, Sequent systems for modal logics. Handbook of philosophical logic, pp.61-145, 2002.