E. Adams, The Logic of Conditionals, volume 86 of Synthese Library, 1975.

C. E. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1

URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, DEL as a substructural logic, Outstanding Contributions: Johan F. A. K. van Benthem on Logical and Informational Dynamics Trends in Logic, 2014.

A. Avron, The method of hypersequents in the proof theory of propositional non-classical logics, Logic: from foundations to applications, pp.1-32, 1996.

A. Baltag and S. Smets, A Qualitative Theory of Dynamic Interactive Belief Revision, Texts in Logic and Games, pp.9-58, 2008.
DOI : 10.1007/978-3-319-20451-2_39

J. Beall, R. Brady, J. Michael-dunn, E. Hazen, . Mares et al., On the Ternary Relation and Conditionality, Journal of Philosophical Logic, vol.49, issue.3, pp.595-612, 2012.
DOI : 10.1007/s10992-011-9191-5

A. Piero, N. Bonatti, and . Olivetti, Sequent calculi for propositional nonmonotonic logics, ACM Trans. Comput. Logic, vol.3, issue.2, pp.226-278, 2002.

D. Dubois and H. Prade, Possibilistic logic, preferential model and related issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991.

N. Friedman and J. Y. Halpern, Plausibility measures and default reasoning, Journal of the ACM, vol.48, issue.4, pp.648-685, 2001.
DOI : 10.1145/502090.502092

URL : http://arxiv.org/abs/cs/9808007

P. Gärdenfors, Knowledge in Flux (Modeling the Dynamics of Epistemic States), 1988.

P. Gärdenfors, Belief revision and nonmonotonic logic: Two sides of the same coin?, pp.52-54, 1991.
DOI : 10.1007/BFb0018432

J. Halpern, Reasoning about Uncertainty, 2003.

H. Katsuno and A. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1992.
DOI : 10.1016/0004-3702(91)90069-V

S. Kraus, D. J. 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/abs/cs/0202021

D. Makinson and P. Gärdenfors, Relations between the logic of theory change and nonmonotonic logic The Logic of Theory Change, Lecture Notes in Computer Science, vol.465, pp.185-205, 1989.

D. Makinson, Bridges from classical to nonmonotonic logic. King's College, 2005.
DOI : 10.1093/jigpal/11.1.69

URL : http://jigpal.oxfordjournals.org/cgi/content/short/11/1/69

D. Edwin, R. K. Mares, and . Meyer, The Blackwell guide to philosophical logic, chapter Relevant Logics, 2001.

D. Nute, B. Charles, and . Cross, Conditional logic, Handbook of philosophical logic, pp.1-98, 2001.

N. Olivetti, Tableaux and sequent calculus for minimal entailment, Journal of Automated Reasoning, vol.9, issue.1, pp.99-139, 1992.
DOI : 10.1007/BF00247828

H. Ono, Proof-Theoretic Methods in Nonclassical Logic --an Introduction, Theories of Types and Proofs, pp.207-254, 1998.
DOI : 10.2969/msjmemoirs/00201C060

G. Pottinger, Uniform, cut-free formulations of T, S4 and S5, Journal of Symbolic Logic, vol.48, issue.3, p.900, 1983.

P. Frank and . Ramsey, General propositions and causality, 1929.

G. Restall, An Introduction to Substructural Logics, Routledge, 2000.
DOI : 10.4324/9780203252642

G. Restall, Relevant and substructural logics. Handbook of the History of Logic, pp.289-398, 2006.
DOI : 10.1016/s1874-5857(06)80030-0

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Routley, K. Robert, and . Meyer, The semantics of entailment?II, Journal of Philosophical Logic, vol.16, issue.1, pp.53-73, 1972.
DOI : 10.1007/BF00649991

R. Routley, K. Robert, and . Meyer, The semantics of entailment ? III, Journal of Philosophical Logic, vol.16, issue.2, pp.192-208, 1972.
DOI : 10.1007/BF00650498

R. Routley, K. Robert, and . Meyer, The Semantics of Entailment, Studies in Logic and the Foundations of Mathematics, pp.199-243, 1973.
DOI : 10.1016/S0049-237X(08)71541-6

R. Routley, V. Plumwood, K. Robert, and . Meyer, Relevant logics and their rivals, 1982.

W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, Causation in Decision, Belief Change, and Statistics, pp.105-134, 1988.

A. Sjerp, T. , and H. Schwichtenberg, Basic proof theory. Number 43, 2000.

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533