R. Alenda, N. Olivetti, and G. L. Pozzato, Nested sequent calculi for normal conditional logics, Journal of Logic and Computation, vol.II, issue.1, pp.7-50, 2013.
DOI : 10.2307/2273315
URL : https://hal.archives-ouvertes.fr/hal-01479542

A. Baltag and S. Smets, The logic of conditional doxastic actions, Texts in Logic and Games, pp.9-31, 2008.
DOI : 10.1145/1324249.1324260
URL : http://www.tark.org/proceedings/tark_jun25_07/p52-baltag.pdf

O. Board, Dynamic interactive epistemology, Games and Economic Behavior, vol.49, issue.1, pp.49-80, 2004.
DOI : 10.1016/j.geb.2003.10.006
URL : http://www.pitt.edu/~ojboard/papers/dynintep.pdf

A. Ciabattoni, G. Metcalfe, and F. Montagna, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy sets and systems 161, pp.369-389, 2010.
DOI : 10.1016/j.fss.2009.09.001
URL : http://www.logic.at/staff/agata/CMM09.pdf

J. P. Delgrande, On first-order conditional logics, Artificial Intelligence, vol.105, issue.1-2, pp.105-137, 1998.
DOI : 10.1016/S0004-3702(98)00088-5
URL : https://doi.org/10.1016/s0004-3702(98)00088-5

N. Friedman and J. Y. Halpern, On the Complexity of Conditional Logics, KR'94, pp.202-213, 1994.
DOI : 10.1016/B978-1-4832-1452-8.50115-9
URL : http://www.cs.huji.ac.il/~nir/Papers/kr94b.ps

I. P. Gent, A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$., Notre Dame Journal of Formal Logic, vol.33, issue.3, pp.369-382, 1992.
DOI : 10.1305/ndjfl/1093634402
URL : https://doi.org/10.1305/ndjfl/1093634402

M. L. Ginsberg, Counterfactuals, Artificial Intelligence, vol.30, issue.1, pp.35-79, 1986.
DOI : 10.1016/0004-3702(86)90067-6

L. Giordano, V. Gliozzi, N. Olivetti, and C. Schwind, Tableau calculus for preferencebased conditional logics: PCL and its extensions, ACM Transactions on Computational Logic (TOCL), vol.10, issue.21, 2009.
DOI : 10.1145/1507244.1507251

G. Grahne, Updates and counterfactuals, Journal of Logic and Computation, vol.8, issue.1, pp.87-117, 1998.
DOI : 10.1093/logcom/8.1.87

S. Kraus, D. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol.44, issue.1-2, pp.167-207, 1990.
DOI : 10.1016/0004-3702(90)90101-5
URL : http://arxiv.org/pdf/cs/0202021

B. Lellmann, Sequent Calculi with Context Restrictions and Applications to Conditional Logic, Imperial College London, vol.1, 2013.

B. Lellmann and D. Pattinson, Sequent Systems for Lewis??? Conditional Logics, JELIA 2012, LNAI, pp.320-332, 2012.
DOI : 10.1017/CBO9781139168717
URL : http://users.cecs.anu.edu.au/%7Edpattinson/Publications/jelia2012.pdf

S. Negri and N. Olivetti, A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics, Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.115-134, 2015.
DOI : 10.1111/j.1755-2567.1970.tb00408.x

S. Negri and G. Sbardolini, Proof analysis for Lewis counterfactuals. The Review of Symbolic Logic pp, pp.1-32, 2014.

N. Olivetti and G. L. Pozzato, A Standard Internal Calculus for Lewis??? Counterfactual Logics, Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.270-286, 2015.
DOI : 10.2307/2273315

D. Pattinson and L. Schröder, Generic modal cut elimination applied to conditional logics, Log. Methods Comput. Sci, vol.7, issue.14, pp.1-28, 2011.
DOI : 10.1007/978-3-642-02716-1_21
URL : http://arxiv.org/pdf/1011.3479

F. Poggiolesi, Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics, Studia Logica, vol.13, issue.5, pp.1003-1036, 2016.
DOI : 10.1007/978-94-009-9117-0_2
URL : https://hal.archives-ouvertes.fr/hal-01271556

H. C. De-swart, A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS, The Journal of Symbolic Logic, vol.36, issue.01, pp.1-20, 1983.
DOI : 10.1002/malq.19630090502