Conditional doxastic models: A qualitative approach to dynamic belief revision, Electronic Notes in Theoretical Computer Science, vol.165, pp.5-21, 2006. ,
A qualitative theory of dynamic interactive belief revision. Logic and the foundations of game and decision theory, vol.3, pp.9-58, 2008. ,
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. ,
Dynamic interactive epistemology, Games and Economic Behavior, vol.49, issue.1, pp.49-80, 2004. ,
Deep sequent systems for modal logic, Arch. Math. Log, vol.48, pp.551-577, 2009. ,
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
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
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
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
, , 1973.
Label-free modular systems for classical and intuitionistic modal logics, AiML 10, pp.387-406, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01092148
Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IFCoLog Journal of Logic and its Applications, 2017. ,
A standard internal calculus for Lewis' counterfactual logics, Lecture Notes in Artificial Intelligence, vol.9323, pp.270-286, 2015. ,
Neighbourhood semantics for modal logics, 2017. ,
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
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
Belief revision in games: forward and backward induction 1, Mathematical Social Sciences, vol.36, issue.1, pp.31-56, 1998. ,