R. Alenda and N. Olivetti, References 1 Preferential semantics for the logic of comparative similarity over triangular and metric models, JELIA 2012, LNAI, pp.1-13, 2012.
DOI : 10.1007/978-3-642-33353-8_1

A. Avron, The method of hypersequents in the proof theory of propositional non-classical logics Logic: From Foundations to Applications, 1996.

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
URL : https://doi.org/10.1305/ndjfl/1093883341

B. F. Chellas, Basic conditional logic, Journal of Philosophical Logic, vol.2, issue.2, pp.133-153, 1975.
DOI : 10.1007/BF00255570

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

L. Giordano, V. Gliozzi, N. Olivetti, and C. Schwind, Tableau calculus for preference-based conditional logics, ACM Transactions on Computational Logic, vol.10, issue.3, pp.1-2150, 2009.
DOI : 10.1145/1507244.1507251

M. Girlando, B. Lellmann, N. Olivetti, and G. L. Pozzato, Standard Sequent Calculi for Lewis??? Logics of Counterfactuals, JELIA 2016, pp.272-287, 2016.
DOI : 10.2307/2273315
URL : https://hal.archives-ouvertes.fr/hal-01794375

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

R. Kuznets and B. Lellmann, Grafting hypersequents onto nested sequents, Logic Journal of IGPL, vol.8, issue.3, pp.375-423, 2016.
DOI : 10.1007/978-94-010-0387-2_2
URL : https://academic.oup.com/jigpal/article-pdf/24/3/375/9847395/jzw005.pdf

B. Lellmann, Hypersequent rules with restricted contexts for propositional modal logics, Theoretical Computer Science, vol.656, pp.76-105, 2016.
DOI : 10.1016/j.tcs.2016.10.004

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

D. Nute, Topics in conditional logic, Reidel, 1980.
DOI : 10.1007/978-94-009-8966-5

N. Olivetti and G. L. Pozzato, A Standard Internal Calculus for Lewis??? Counterfactual Logics, TABLEAUX 2015, LNAI, pp.270-286, 2015.
DOI : 10.2307/2273315

G. Restall, Proofnets for S5: sequents and circuits for modal logic In: Logic Colloquium, Lecture Notes in Logic, vol.28, pp.151-172, 2005.
DOI : 10.1017/cbo9780511546464.012
URL : https://philpapers.org/archive/RESPFS.pdf

M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, A Logic for Concepts and Similarity, Journal of Logic and Computation, vol.17, issue.3, pp.415-452, 2007.
DOI : 10.1093/logcom/exm007
URL : http://www.dcs.bbk.ac.uk/~michael/DLsimilarity_JLC.pdf

R. Stalnaker, A Theory of Conditionals, pp.98-112, 1968.
DOI : 10.1007/978-94-009-9117-0_2