R. Dyckhoff and S. Negri, Geometrisation of first-order logic, The Bulletin of Symbolic Logic, vol.21, pp.123-163, 2015.

M. Fitting, Prefixed tableaus and nested sequents, Annals of Pure and Applied Logic, vol.163, pp.291-313, 2012.
DOI : 10.1016/j.apal.2011.09.004
URL : https://doi.org/10.1016/j.apal.2011.09.004

I. P. Gent, A sequent or tableaux-style system for Lewis's counterfactual logic VC, Notre Dame Journal of Formal Logic, vol.33, pp.369-382, 1992.

M. Girlando, B. Lellmann, and N. Olivetti, Hypersequent calculus for the logic of conditional belief: preliminary results, EICNCL Floc Workshop Proceedings, 2018.

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

M. Girlando, N. B.-lellmann, G. L. Olivetti, and . Pozzato, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.131-148, 2017.

M. Girlando, S. Negri, N. Olivetti, and V. Risch, The logic of conditional belief: Neighbourhood semantics and sequent calculus, Advances in Modal Logic, vol.11, pp.322-341, 2016.

R. Goré and R. Ramanayake, Labelled tree sequents, tree hypersequents and nested (deep) sequents, Advances in modal logic 9, pp.279-299, 2012.

B. Lellmann and D. Pattinson, Sequent systems for Lewis' conditional logics, JELIA 2012, vol.7519, pp.320-332, 2012.
DOI : 10.1007/978-3-642-33353-8_25

D. K. Lewis and . Counterfactuals, , 1973.

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.48, pp.1-20, 1983.

S. Negri, Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, p.507, 2005.
DOI : 10.1007/s10992-005-2267-3

S. Negri, Non-normal modal logics: A challenge to proof theory, The Logica Yearbook, pp.125-140, 2017.

S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IFCoLog Journal of Logic and their Applications, vol.4, pp.1241-1286, 2017.

S. Negri and N. Olivetti, A sequent calculus for preferential conditional logic based on neighbourhood semantics, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.115-134, 2015.

S. Negri and G. Sbardolini, Proof analysis for Lewis counterfactuals, The Review of Symbolic Logic, vol.9, pp.44-75, 2016.

S. Negri and J. Plato, Meaning in use, Dag Prawitz on Proofs and Meaning, pp.239-257, 2015.

N. Olivetti and G. Pozzato, A standard internal calculus for Lewis counterfactual logics, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 9323, pp.270-286, 2015.
DOI : 10.1007/978-3-319-24312-2_19

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

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