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.

A. Baltag and S. Smets, A qualitative theory of dynamic interactive belief revision. Logic and the foundations of game and decision theory, vol.3, pp.9-58, 2008.

A. Baltag and S. Smets, The logic of conditional doxastic actions. Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction, vol.4, pp.9-31, 2008.

O. Board, Dynamic interactive epistemology, Games and Economic Behavior, vol.49, issue.1, pp.49-80, 2004.

K. Brünnler, Deep sequent systems for modal logic, Arch. Math. Log, vol.48, pp.551-577, 2009.

M. Girlando, B. Lellmann, N. Olivetti, and G. L. Pozzato, Standard sequent calculi for Lewis' logics of counterfactuals, Logics in Artificial Intelligence. JELIA 2016, vol.10021, pp.272-287, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01794375

M. Girlando, B. Lellmann, N. Olivetti, and G. L. Pozzato, Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.131-148, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01794387

M. Girlando, S. Negri, N. Olivetti, and V. Risch, The logic of conditional beliefs: Neighbourhood semantics and sequent calculus, Advances in Modal Logic, pp.322-341, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01490158

M. Girlando, S. Negri, N. Olivetti, and V. Risch, Conditional beliefs: from neighbourhood semantics to sequent calculus. The Review of Symbolic Logic, pp.1-44, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01702961

D. K. Lewis, , 1973.

S. Marin and L. Straßburger, Label-free modular systems for classical and intuitionistic modal logics, AiML 10, pp.387-406, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092148

S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IFCoLog Journal of Logic and its Applications, 2017.

N. Olivetti and G. L. Pozzato, A standard internal calculus for Lewis' counterfactual logics, Lecture Notes in Artificial Intelligence, vol.9323, pp.270-286, 2015.

E. Pacuit, Neighbourhood semantics for modal logics, 2017.

F. Poggiolesi, A cut-free simple sequent calculus for modal logic s5, The Review of Symbolic Logic, vol.1, issue.1, pp.3-15, 2008.
URL : https://hal.archives-ouvertes.fr/halshs-00775809

F. Poggiolesi, The method of tree-hypersequents for modal propositional logic, Towards Mathematical Philosophy, vol.28, pp.31-51, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00775815

R. Stalnaker, Belief revision in games: forward and backward induction 1, Mathematical Social Sciences, vol.36, issue.1, pp.31-56, 1998.